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