Applications and theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005 : Miami, USA, June 20-25, 2005 : proceedings - Ciardo, Gianfranco (Springer, 2005)