Application and Theory of Petri Nets and Concurrency

by Ryszard Janicki, Natalia Sidorova, Thomas Chatain