Susanna Donatelli Application and Theory of Petri Nets and Concurrency ISBN: 9783030215712 Subjects--Topical Terms: Computer ScienceSoftware Engineering