Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings - Gianfranco Ciardo, Philippe Darondeau ((Lecture Notes in Computer Science))