@CONFERENCE{grahlmann_best:3/96,
        AUTHOR             = {Bernd Grahlmann and Eike Best},
        BOOKTITLE          = {{Proceedings of TACAS'96 (Tools and Algorithms for the Construction and Analysis of Systems)}},
        EDITOR             = {Tiziana Margaria and Bernhard Steffen},
        PAGES              = {{397 -- 401}},
        PUBLISHER          = {{Springer-Verlag}},
        SERIES             = {{Lecture Notes in Computer Science}},
        TITLE              = {{PEP -- More than a Petri Net Tool}},
        VOLUME             = {{1055}},
        YEAR               = {{1996}},
        ABSTRACT           = {
The PEP system (Programming Environment based on Petri Nets)
supports the most important tasks of a good net tool, including
HL and LL net editing and comfortable simulation facilities.
In addition, these features are embedded in sophisticated programming
and verification components.  The programming component allows the user
to design concurrent algorithms in an easy-to-use imperative language,
and the PEP system then generates Petri nets from such programs.
The PEP tool's comprehensive verification components allow a large
range of properties of parallel systems to be checked efficiently on
either programs or their corresponding nets.  This includes user-defined
properties specified by temporal logic formulae as well as specific
properties for which dedicated algorithms are available.
PEP has been implemented on Solaris 2.4, Sun\,OS 4.1.3 and Linux.
Ftp-able versions are available.
                             }, 
        KEYWORDS           = {B(PN)$^2$, Model checking, Parallel finite automata, PEP,
                              Petri nets, Process algebra, Temporal logic, Tool.}
}