Partial order verification with PEP
Eike Best · DIMACS series in discrete mathematics and theoretical computer science · 1997
This paper describes the current status of the verification testbed PEP (Programming Environment based on Petri Nets) from a personal perspective of the author. The paper concentrates on what are perceived as the main highlights and the major shortcomings of PEP.