Application and Theory of Petri Nets and Concurrency - Aalst, Wil van der (Springer International Publishing, 2020)