Application and theory of Petri nets. 1996 : Proceedings, Osaka, Japan, June 24 - 28, 1996 - Billington, Jonathan (Lecture notes in computer science, 1996)