Selected publications by Stefan Schwoon

Abstract:
The Cunf tool is a (contextual) Petri net unfolder implementing the unfolding algorithm presented by Paolo Baldan et al. in 2008

@misc{cunf-v35,
   author = {Rodr{\'\i}guez, C{\'e}sar and Schwoon, Stefan},
   month = feb,
   number = {v35},
   title = {Cunf},
   url = {http://www.lsv.ens-cachan.fr/Software/cunf/},
   year = {2011},
}

About LSV