Section: New Results

Distributed computation of vector clocks in Petri nets unfolding for test selection [24]

Petri net unfoldings with time stamps allow to build distributed testers for distributed systems. However, the construction of the annotated unfolding of a distributed system currently remains a centralized task. In the aforemention paper, we extend a distributed unfolding technique in order to annotate the resulting unfolding with time stamps. This allows for distributed construction of distributed testers for distributed systems.