Applications and theory of petri nets : 31st international conference, PETRI NETS 2010 : Braga, Portugal, June 21-25, 2010 : proceedings. : 31th [i.e. 31st] international conference on applications and theory of petri nets and other models of concurrency : Petri net conferences : Jun 2010, Braga, Portugal.