Analysis of Petri Nets and Transition Systems
arXiv:1508.04851 · doi:10.4204/EPTCS.189.6
Abstract
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 nets. It is implemented as a collection of independent, dedicated algorithms which have been designed to operate modularly, portably, extensibly, and efficiently.
In Proceedings ICE 2015, arXiv:1508.04595