TY - BOOK AU - Susanna Donatelli, Stefan Haar TI - Application and Theory of Petri Nets and Concurrency SN - 9783030215712 PB - Springer UR - https://link.springer.com/openurl?genre=book&isbn=978-3-030-21571-2 ER -