Distributed computation of vector clocks in Petri nets unfolding for test selection
Loïg Jezequel, Agnes Madalinski, Stefan Schwoon · IFAC-PapersOnLine · 2018
It has been shown that annotating Petri net unfoldings with time stamps allows for building 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 for distributed construction of distributed testers for distributed systems.