In: Proceedings of the SPIN'98 Workshop. November 1998.
Abstract: This paper describes how the PEP tool profits from an integration of the Spin 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.