PEP
In PEP (Programming Environment based on Petri nets) Petri Nets and process algebras are combined to model, simulate, analyse and verify parallel systems.
- Environment:
- Solaris 2.3 or 2.4, SUN OS 4.1.3, Linux
- Origin:
- Universität Oldenburg, Germany
- Kind of Nets supported:
- P/T Nets, low-level Petri Boxes (1-safe, labelled Petri Nets), and M-Nets (high-level nets)
- Functionalities:
- Graphical EDITOR
- SIMULATION
- Property verification in terms of temporal logic formulae
- Modelling can be done by the programming language B(PN)^2
PEP consists of five different types of components:
- Editors for B(PN)^2 (a high-level programming language) programs, PBC (a process algebra called Petri Box Calculus) programs, Petri Nets, formulae and project documentation
- Compilers for:
- Simulators for Petri Nets
- Standard algorithms (such as free choice, T-system, liveness, reachability, reversibility)
- Model checking algorithms for T-Systems and for 1-safe Petri Nets, which can determine whether a Petri Net satisfies a property given in terms of a temporal logic formula
- Availability:
-
- References:
- B. Grahlmann, S. Römer, T. Thielke, B. Graves, M. Damm, R. Riemann, L. Jenner, S. Melzer, A. Gronewold: PEP: Programming Environment Based on Petri Nets [grt95]
- E. Best, R. Pinder Hopkins: B(PN)^2 - a Basic Petri Net Programming Notation [eph92]
- PEP Web Page
- Tool description at DAIMI