Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings - Wil M. P. Aalst, Eike Best ((Lecture Notes in Computer Science))