Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings - Ciardo, Gianfranco; Kindler, Ekkart (Springer International Publishing : Imprint: Springer, 2014)