Suche

Software


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 [4].

[1] S. Molnár, J. R. Heath, O. Dalle, and G. A. Wainer, editors. Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008. ICST, 2008.
[2] F. Pommereau. Quickly Prototyping Petri Nets Tools with SNAKES. In Molnár et al. [1], page 17.
[3] F. Pommereau. The SNAKES toolkit. https://www.ibisc.univ-evry.fr/~fpommereau/SNAKES, 2013.
[4] D. Strassner. Prototypische Implementierung von Petrinetz-Transduktoren mit SNAKES. Bachelor thesis, Augsburg University, 2013.
[5] PNML team. PNML.org: The petri net markup language home page. http://www.pnml.org, 8 2011.