Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings - Donatelli, Susanna; Donatelli, Susanna; Haar, Stefan; Haar, Stefan (Springer International Publishing : Imprint: Springer, 2019)