Application and Theory of Petri Nets 1992

This volume contains the proceedings of the 13thInternational Conference onApplication and Theory of PetriNets, held in Sheffield, England, in June 1992.The aim of the Petri net conferences is to create aforum for discussing progress in the application and theoryof Petri nets. Typically, the conferences have 150-200participants, one third of these coming from industry andthe rest from universities and research institutions.The 1992 conference was organized by the School of Computingand Management Sciences at Sheffield City Polytechnic,England.The volume contains twoinvited papers, by G. Balbo and W.Reisig, 18 submitted papers, and seven project papers. Thesubmitted papers and project presentations were selectedbythe programme committee and a panel of referees from a largenumber of submissions.