Advances in Petri Nets 1992

The main aims of the series of volumes "Advances in PetriNets" are:- to present to the "outside" scientific community a fairpicture of recent advances in the area of Petri nets, and- to encourage those interested in the applications andtheory of concurrent systems to take a closer look at Petrinets and then join the group of researchers working in thisfascinating and challenging area.The ESPRIT Basic Research Action DEMON (DEsign Methodsbased On Nets) has been a focus of developments withinthePetri net community for the last three years. The paperspresented in this special volume have been selected frompapers submitted by participants in DEMON. The papers havebeen refereed and appear in revised form. The volumecontains technical contributions giving insights into anumber of major achievements of the DEMON project. It alsocontains four survey papers covering important researchareas. The volume begins witha description of DEMON givenby its coordinator E. Best.