Applications and theory of petri nets 30th international conference, Petri Nets 2009, Paris, France, June 22-26, 2009. proceedings / - Franceschinis, Giuliana.; Wolf, Karsten. (Springer,)