Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013 Milan, Italy, June 24-28, 2013 : Proceedings - Colom, José-Manuel (edición); Desel, Jörg (edición) ((Lecture Notes in Computer Science ;)