Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010) Lecture Notes in Computer Science 6128 , 2010, pp. 318-327