Special volume on Petri nets - Rozenberg, Grzegorz (Hrsg.) (Theoretical computer science, 1996)