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