Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets.

Viktor Teren, Jordi Cortadella, Tiziano Villa

Browse the full DSD paper archive.