In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 432-454. June 1991.
Abstract: This paper describes CO-OPN, a formalism enabling the specification of large concurrent systems using the object oriented manner. The specification of data structures and the description of constraints on the concurrency of actions are respectively described by the algebraic abstract data type formalism and the Petri net formalism. The semantics of CO-OPN is defined through distributed transition systems over the models of algebraic specification. A notion of bisimulation equivalence is used to describe object replacement. This provides a methodology for obtaining modular implementations from specifications.
Keywords: CO-OPN, concurrent object-oriented net approach; algebraic abstract data type; algebraic net; distributed transition system; bisimulation equivalence; object replacement; modular implementation.
Back to the Petri Nets Bibliography