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/~pep.
Author supplied keywords
Cite
CITATION STYLE
Grahlmann, B. (1998). The state of PEP. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1548, pp. 522–526). Springer Verlag. https://doi.org/10.1007/3-540-49253-4_37
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
