For the most recent entries see the Petri Nets Newsletter.

Profiting from Spin in PEP.

Grahlmann, Bernd; Pohl, Carola

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography