Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings - Ciardo, Gianfranco; Darondeau, Philippe (Springer Berlin Heidelberg, 2005)