Algorithmen und Werkzeuge für Petrinetze

15. AWPN 2008: Rostock, Germany

6. AWPN 1999: Frankfurt, Germany