Selected publications at LSV

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

About LSV