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