Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings - Colom, José-Manuel; Desel, Jörg (Springer Berlin Heidelberg : Imprint: Springer, 2013)