Return to Article Details Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets Download Download PDF