TY  - SER
AU  - Ghezzi, Carlo
AU  - Morasca, Sandro
AU  - Pezze, Mauro
TI  - A Unified High-Level Petri Net  Formalism  for  Time-Critical Systems
KW  - Concurrent Systems
KW  - Specification
KW  - Verification
ER  -