Selected publications at LSV

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.

   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)},
   editor = {Chris Hadjicostis and Jan Komenda},
   month = may # {-} # jun,
   note = {To appear},
   publisher = {Elsevier Science Publishers},
   series = {IFAC-PapersOnLine},
   title = {{Distributed computation of vector clocks in Petri nets unfolding for test selection}},
   year = {2018},

About LSV