Didier Buchs, Josep Carmona Application and Theory of Petri Nets and Concurrency - Springer Springer 2021 ISBN: 9783030769833 Source: EBOOK