Application and Theory of Petri Nets and Concurrency - Wil van der Aalst, Eike Best (Springer, 2017)