Return to Article Details Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets Download Download PDF