For the most recent entries see the Petri Nets Newsletter.

Petri Net Semantics of Smalltalk-80.

Christodoulakis, D.N.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography