Applications and theory of Petri nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 ; proceedings / - Lilius, Johan.; Penczek, Wojciech. (Springer,)