Application and Theory of Petri Nets and Concurrency - Devillers (Springer International Publishing, 2015)