Application and theory of Petri nets, 1993 14th international conference, Chicago, Illinois, USA, June 21-25, 1993 proceedings - Ajmone Marsan, M. (Lecture notes in computer science, 1993)