Archiv verlassen und diese Seite im Standarddesign anzeigen : Application and Theory of Petri Nets and Concurrency