Applications and theory of Petri nets : 30th international conference, PETRI NETS 2009 : Paris, France, June 22-26, 2009 : proceedings. : 30th international conference on applications and theory of Petri nets and other models of concurrency : Petri net conferences : Jun 2009, Paris, France.