It has been shown that annotating Petri nets unfoldings with time stamps allows to build distributed testers for distributed systems. However, the construction of the annotated unfolding of a distributed system currently remains a centralized task. In this paper we extend a distributed unfolding technique in order to annotate the resulting unfolding with time stamps. This allows distributed construction of distributed testers for distributed systems.

中文翻译：

---

用于测试选择的 Petri 网展开中矢量时钟的分布式计算

已经表明，用时间戳注释 Petri 网展开允许为分布式系统构建分布式测试器。然而，分布式系统的带注释展开的构建目前仍然是一项集中的任务。在本文中，我们扩展了一种分布式展开技术，以便用时间戳对结果展开进行注释。这允许分布式系统的分布式测试器的分布式构建。