Selected publications at LSV

Petri nets are a well-known model language for concurrent systems. The unfolding of a Petri net is an acyclic net bisimilar to the original one. Because it is acyclic, it admits simpler decision problems though it is in general larger than the net. In this paper, we revisit the problem of efficiently constructing an unfolding. We propose a new method that avoids computing the concurrency relation and therefore uses less memory than some other methods but still represents a good time-space tradeoff. We implemented the approach and report on experiments.

   address = {Singapore},
   author = {Rodr{\'\i}guez, C{\'e}sar and Schwoon, Stefan},
   booktitle = {{P}roceedings of the 1st {F}rench-{S}ingaporean {W}orkshop on {F}ormal {M}ethods and {A}pplications ({FSFMA}'13)},
   DOI = {10.4230/OASIcs.FSFMA.2013.47},
   editor = {Choppy, {\relax Ch}ristine and Sun, Jun},
   month = jul,
   pages = {47-52},
   publisher = {Leibniz-Zentrum f{\"u}r Informatik},
   series = {Open Access Series in Informatics},
   title = {An Improved Construction of {P}etri Net Unfoldings},
   url = {},
   volume = {31},
   year = {2013},

About LSV