PNTooL is a python library for the modular construction of Petri nets transducers (PNTs) through composition operations. Constructed PNTs can be exported in an XML-format which is based on the standard PNML format developed for basic Petri net variants [5]. Moreover, PNTs can be visualised and pictures can be exported in all standard formats. PNTooL serves as a basis for the implementation and evaluation of algorithms for analysis, simulation and optimisation of PNTs. PNTooL is implemented within the framework SNAKES aiming at the quick prototyping of new Petri net classes [2, 3]. Its basic functionalities were developed in the bachelor thesis

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element