PEP tool

PEP tool (Programming Environment based on Petri nets), is a comprehensive set of modelling, compilation, simulation and verification components, linked together within a Tcl/Tk-based graphical user interface.

Components exist independently from PEP, and employ various formalisms and notations; the PEP tool uses converters to link them together.