Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings - Pierre Azéma, Gianfranco Balbo ((Lecture Notes in Computer Science))