In: Tool Presentations of ATPN'97 (Application and Theory of Petri Nets), Toulouse, pages 1-10. June 1997. Available at http://www.informatik.uni-hildesheim.de/~pep.
Abstract: The PEP tool is a Programming Environment based on Petri Nets. Comprehensive modelling, compilation, simulation and verification components are embedded in a user-friendly graphical interface. The basic idea is that the modelling component allows the user to design parallel systems by parallel finite automata, parallel programs, process algebra terms, high-level or low-level Petri nets, and that the PEP system then automatically generates Petri nets from such models in order to use Petri net theory for simulation and verification purposes.
This paper describes the typical usage of the PEP tool by considering the design of the well-known `alternating-bit' protocol. Among others, the usefulness of new concepts for the handling of hierarchies and synchronous communication is explained.
PEP has been implemented on Solaris 2.x, Sun OS 4.1.x and Linux. Ftp-able versions are available via http://www.informatik.uni-hildesheim.de/~pep.
Keywords: Alternating bit protocol; B(PN)²; Hierarchical Petri nets; M-nets; Parallel finite automata; Parallel programs; PEP; Simulation; Tool; Verification.