A Unified High-Level Petri Net Formalism for Time-Critical Systems
Ghezzi, Carlo Morasca, Sandro Pezze, Mauro
A Unified High-Level Petri Net Formalism for Time-Critical Systems - 160-172 p.
Concurrent Systems
Specification
Verification
A Unified High-Level Petri Net Formalism for Time-Critical Systems - 160-172 p.
Concurrent Systems
Specification
Verification