@INPROCEEDINGS{grahlmann:1/99,
        AUTHOR             = {Bernd Grahlmann},
        BOOKTITLE          = {{Proceedings of AMAST'98 (Algebraic Methodology
                               and Software Technology)}},
        MONTH              = jan,
        EDITOR             = {A.\,M. Haeberer},
        VOLUME             = {{1548}},
        PUBLISHER          = {{Springer-Verlag}},
        SERIES             = {{Lecture Notes in Computer Science}},
        TITLE              = {{The State of PEP}},
        YEAR               = {{1999}},
        ABSTRACT           = {
The PEP tool can be considered to be one of the most widely distributed
Petri net based tools.  A continuously increasing functionality and an
adequate graphical user interface may have been good reasons for its
acceptance.  Currently the tool contains approximately 500,000 lines of
source code, and supports (to the best of our knowledge) the widest
variety of input formalisms and verification methods of all verification
tools.  We briefly review the most recent developments.

Ftp-able versions of the tool and PEP related papers are available
via http://theoretica.informatik.uni-oldenburg.de/$\sim$pep.
                             },
        KEYWORDS           = {3D visualisation, C code generation, Parallel programs,
                              PEP, Petri nets, SDL, Simulation, Verification.}
}