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