Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

This paper describes the formal semantics of a subset of PASCAL by means of a semantic model based on a combination of denotational semantics and high-level Petri nets. It is our intention that the paper be used as part of the written material for an introductory course in Computer Science