Modeling the semantics of smalltalk-80 with Petri nets


Over the last ten years, as the use of concurrent programming languages increased with a corresponding increase in the effort spent for building parallel machines, the importance of Petri nets grow. During this period Petri nets have been widely used for the specification, design and verification of nonsequential systems, and lots of effort has been spent… (More)
DOI: 10.1145/67386.67430