@INPROCEEDINGS{grahlmann_pohl:11/98,
        AUTHOR             = {Bernd Grahlmann and Carola Pohl},
        BOOKTITLE          = {{Proceedings of the SPIN'98 Workshop}},
        MONTH              = nov,
        TITLE              = {{Profiting from Spin in PEP}},
        YEAR               = {{1998}},
        ABSTRACT           = {
This paper describes how the PEP tool (Programming Environmnet based on
Petri nets) profits from an integration of the Spin (Simple PROMELA INterpreter)
verification package.

Translation methods from three input formalisms (parallel programs,
high-level and low-level Petri nets) into PROMELA (PROtocol MEta LAnguage)
are discussed and the Spin based verification is compared with a
Petri net based partial order model checker using a number of typical
examples.
                             },
        KEYWORDS           = {Parallel programs, PEP, Petri nets, PROMELA, SDL,
                              Spin, Verification.}
}