Application and Theory of Petri Nets and Concurrency - Khomenko (Springer International Publishing, 2018)