In: : Coordination Languages and Models, Third International Conference (COORDINATION '99), Amsterdam, The Netherlands, April 1999, pages 1-415pp. Springer Verlag, LNCS 1594, 1999.
Abstract: CO-OPN/2 is a formal language allowing the modelling of object-oriented software systems. A CO-OPN/2 model is composed of three kinds of entities, modelling three different parts of the global description, by three different formal semantics: [...]
Back to the Petri Nets Bibliography