Reference:

E. Best, J. Esparza, B. Grahlmann, S. Melzer, S. Römer, and F. Wallner. The PEP verification system. In FEmSys'97, 1997. Tool presentation.

Abstract:

This paper gives a short overview of the verification system PEP (a Programming Environment based on Petri nets). It focuses on some recent developments.

Suggested BibTeX entry:

@inproceedings{BEGMRW97,
    author = {E. Best and J. Esparza and B. Grahlmann and S. Melzer and S. R{\"o}mer and F. Wallner},
    booktitle = {FEmSys'97},
    note = {Tool presentation},
    title = {The {PEP} Verification System},
    year = {1997}
}