Application and theory of petri nets and concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings.