PEP - More than a Petri Net Tool.

Bernd Grahlmann, Eike Best

Browse the full TACAS paper archive.