Synthesis of Bounded Choice-Free Petri Nets
Eike Best, Raymond Devillers · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015
This paper describes a synthesis algorithm tailored to the construction of choice-free Petri nets from finite persistent transition systems. With this goal in mind, a minimised set of simplified systems of linear inequalities is distilled from a general region-theoretic approach, leading to algorithmic improvements as well as to a partial characterisation of the class of persistent transition systems that have a choice-free Petri net realisation.