Application and theory of petri nets 1997: 18th International Conference, ICATPNʹ97, Toulouse, France, June 23-27, 1997, proceedings - Azema, Pierre; Balbo, Gianfranco (Lecture notes in computer science, 1997)