Decomposition of transition systems into sets of synchronizing Free-choice Petri Nets
Viktor Teren, Jordi Cortadella, Tiziano Villa · 2022 25th Euromicro Conference on Digital System Design (DSD) · 2022
Petri nets and transition systems are two important formalisms used for modeling concurrent systems. One interesting problem in this domain is the creation of a Petri net with a reachability graph equivalent to a given transition system. This paper focuses on the creation of a set of synchronizing Free-choice Petri nets (FCPNs) from a transition system. FCPNs are more amenable for visualization and structural analysis while not being excessively simple, as in the case of state machines. The results show that with a small set of FCPNs, the complexity of the model can be reduced when compared to the synthesis of a monolithic Petri net.