Decomposition of transition systems into sets of synchronizing state machines

Viktor Teren, Jordi Cortadella, Tiziano Villa

Transition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a giv…