Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings - Lilius, Johan. (Springer Berlin Heidelberg : Imprint: Springer, 2010)