TY  - BOOK
AU  - Luca Bernardinello, Laure Petrucci
TI  - Application and Theory of Petri Nets and Concurrency
SN  - 9783031066535
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-031-06653-5
ER  -