17 citations · 34 across the 4 of their papers we have counts for
1 paper · 1 filter
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…