Application and Theory of Petri Nets and Concurrency - Khomenko; Olivier H. Roux; Roux, Olivier H. (Springer International Publishing, 2018)