Ghezzi, Carlo Morasca, Sandro Pezze, Mauro A Unified High-Level Petri Net Formalism for Time-Critical Systems - 160-172 p. Subjects--Topical Terms: Concurrent SystemsSpecificationVerification