Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings - Lars M. Kristensen, Laure Petrucci ((Lecture Notes in Computer Science))