SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets

International Workshop on Petri Nets and Software Engineering

Robert Lorenz ; Markus Huber ; Christoph Etzel ; Dan Zecha

Others  :  http://ceur-ws.org/Vol-851/paper18.pdf

来源: CEUR

【 摘 要 】

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.