Application and Theory of Petri Nets and Concurrency - Ryszard Janicki, Natalia Sidorova, Thomas Chatain (Springer, 2020)