Polymorphism and Module-Reuse Mechanisms for Algebraic Petri Nets in CoopnTools

Other literature type English OPEN
Buffo, Mathieu; Buchs, Didier; Donatelli, S.; Kleijn, J.;
  • Subject: petri net | ooMethod | concurrency | conform

This paper introduces CoopnTools, a tool set allowing the support of object-oriented specifications written by means of the language CO-OPN/2, based on synchronised algebraic Petri nets. In particular, this paper shows how concrete mechanisms dealing with polymorphism a... View more
Share - Bookmark