next up previous
Next: Petri-Box Calculus (Project ESPRIT-Caliban, Up: No Title Previous: No Title

Operational semantics of CO-OPN (Master thesis)

The objective of this work [Fra92] was to study the formalism CO-OPN (Concurrent Object Oriented Petri Nets [BG90]) of modular conception of concurrent systems based on Algebraic Petri Nets . From the semantics of this language, described in terms of algebraic specification models, I proposed an equivalent semantics in the syntactic domain of egalitary theories. I gave an outline of an operational procedure derived from the classic mechanism of resolution for the simulation of the behavior of a system specified in the formalism.

Wojtek Fraczak