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.

@inproceedings{JMS-wodes18,

address =

{Sorrento Coast, Italy},

author =

{Lo{\"i}g Jezequel and Agnes Madalinski and Stefan Schwoon},

booktitle =

{{P}roceedings of the 14th {W}orkshop on {D}iscrete {E}vent {S}ystems
({WODES}'18)},