17 citations · 34 across the 4 of their papers we have counts for
1 paper · 2 filters
Eike Best, Uli Schlachter
This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri net…