Applications and Theory of Petri Nets 2005 - International Conference on Applications and Theory of Petri Nets; Ciardo, Gianfranco; Darondeau, Philippe (Springer Berlin / Heidelberg, 2005)