In: Microprocessing & Microprogramming (The Netherlands), Vol. 24, No. 1-5, pages 267-272. August 1988.
Abstract: Representing the semantics of programs as Petri nets is useful both for aiding program synthesis and for proving their properties. An attempt is made to use Petri nets as the semantic space for the object-oriented programming language Smalltalk-80.