Application and Theory of Petri Nets 1997 Proceedings 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997 - Azema, P. (Lecture Notes in Computer Science)