Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings - Khomenko, Victor; Khomenko, Victor; Roux, Olivier H.; Roux, Olivier H. (Springer International Publishing : Imprint: Springer, 2018)