Wil van der Aalst Application and Theory of Petri Nets and Concurrency - 1st ed. 2017 - Springer 2017 - Lecture Notes in Computer Science . ISBN: 9783319578613 Subjects--Topical Terms: Computer ScienceComputer Science Logic and Foundations of Programming