Ryszard Janicki, Natalia Sidorova, Thomas Chatain Application and Theory of Petri Nets and Concurrency - Springer Springer 2020 ISBN: 9783030518318 Source: EBOOK