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 . 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
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Lorenz, Robert: Modeling quantitative aspects of concurrent systems using weighted Petri net transducers (2015)
- Lorenz, Robert; Huber, Markus; Wirsching, Günther: On weighted Petri net transducers (2014)