Applications and theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005 : Miami, USA, June 20-25, 2005 : proceedings - Ciardo, Gianfranco; Darondeau, Philippe (Lecture notes in computer science ;, 2005)