Title: 5. Workshop Algorithmen und Werkzeuge für Petrinetze
Subjects: Petri nets, Congresses, Algorithms