Application and theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings - International Conference on Applications; Theory of Petri Nets; Other Models of Concurrency (Springer, 2011)