Title: Petri-Netz-Methoden und -Werkzeuge
Subjects: Petri nets, System design, Softwarespezifikation, Petri-Netz, Softwarewerkzeug