Zaslat SMS: Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings / edited by Susanna Donatelli, Stefan Haar. [electronic resource] :