PEP

Overview

Entry last updated: 2004/9/27
Entry last validated: 2004/5/17

Tool homepage: http://peptool.sourceforge.net/

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)

Environments

Tool Description

The 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.

PEP's modelling components facilitate the design of parallel systems by parallel programs, interacting finite automata, process algebra, or high-level/low-level Petri nets.

PEP's compilers generate Petri nets from such models.

PEP's simulators allow automatic or user-driven simulation of high-level/low-level nets and may trigger simulation of the corresponding programs.

PEP's verification component contains various Petri net indigenous algorithms to check, e.g., reachability properties and deadlock-freeness, as well as model checking algorithms. Presently, PEP contains a prefix-builder on top of which Esparza's model checking algorithm which allows simple branching-time logic properties to be checked very efficiently on nets, and hence on all input models of PEP.

PEP also has a good interface to Starke's INA package, in which a wide range of structural analysis algorithms such as the computation of place invariants, transition invariants, siphons and traps, as well as stubborn set and symmetrically reduced state space analysis, are implemented. Interfaces to the verification tools SMV, SPIN and FC2Tools provide BDD based model checking and support LTL/CTL formulae.

Contact Information

Prof. Dr. Eike Best, Christian Stehno
University of Oldenburg
Fachbereich Informatik
Parallel Systems group
D-26111 Oldenburg
Germany

Phone:  +49 441 798 2973 (EB), 3838 (CS), 2426 (Secr.)
Fax:    +49 441 798 2965
E-mail: {pep_help,eike.best,christian.stehno}@informatik.uni-oldenburg.de

Other Remarks

The PEP WWW page contains information (e.g. on new developments) and further links about the tool and its underlying theory. A detailed documentation, selected papers, installation notes, format descriptions and various versions of the tool can be downloaded. PEP runs on Solaris and Linux.

PEP is being developed by the research group led by Eike Best in Oldenburg. There have been numerous contributions and support for PEP by a lot of people outside the group, and financial support by the DFG (German Research Foun dation) in 1993-1999. The overall responsibility for the design of PEP has been with Bernd Grahlmann. Christian Stehno took over responsibility for development and support of PEP in 1999. A complete list of contributors can be found in the `About'-box of the tool.

[PN Home][*]
The maintainers of this page