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