SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets ?
Robert Lorenz, Markus Huber, Christoph Etzel, Dan Zecha · OPUS (Augsburg University) · 2012
Abstract. We present the command line tool SYNOPS. It allows the term-based construction of partial languages consisting of different kinds of causal structures representing runs of a concurrent system: labeled directed acyclic graphs (LDAGs), labeled partial orders (LPOs), labeled stratified directed acyclic graphs (LSDAGs) and labeled stratified order structures (LSOs). It implements region based algorithms for the synthesis of place/transition nets and general inhibitor nets from behavioural specifications given by such partial languages. 1