Fabrice Kordon, Daniel Moldt Application and Theory of Petri Nets and Concurrency - Springer Springer 2016 ISBN: 9783319390864 Source: EBOOK