Selected publications at LSV

Cunf is a tool for building and analyzing unfoldings of Petri nets with read arcs. An unfolding represents the behaviour of a net by a partial order, effectively coping with the state-explosion problem stemming from the interleaving of concurrent actions. C-net unfoldings can be up to exponentially smaller than Petri net unfoldings, and recent work proposed algorithms for their construction and verification. Cunf is the first implementation of these techniques, it has been carefully engineered and optimized to ensure that the theoretical gains are put into practice.

   address = {Hanoi, Vietnam},
   author = {Rodr{\'\i}guez, C{\'e}sar and Schwoon, Stefan},
   booktitle = {{P}roceedings of the 11th {I}nternational {S}ymposium on {A}utomated {T}echnology for {V}erification and {A}nalysis ({ATVA}'13)},
   DOI = {10.1007/978-3-319-02444-8_42},
   editor = {Dang{-}Van, Hung and Ogawa, Mizuhito},
   month = oct,
   pages = {492-495},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Cunf: A~Tool for Unfolding and Verifying Petri Nets with Read Arcs},
   url = {},
   volume = {8172},
   year = {2013},

About LSV