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:
PEP consists of five different types of components:
  1. 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
  2. Compilers for:
  3. Simulators for Petri Nets
  4. Standard algorithms (such as free choice, T-system, liveness, reachability, reversibility)
  5. 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:

Tool List Home