Polymorphism and Module-Reuse Mechanisms for Algebraic Petri Nets in CoopnTools
1999
Files
Abstract
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 and module-reuse are implemented in CoopnTools.
Details
Title
Polymorphism and Module-Reuse Mechanisms for Algebraic Petri Nets in CoopnTools
Author(s)
Buffo, Mathieu ; Buchs, Didier
Published in
Proceedings of the Tools Presentation of th 20th International Confernce on Application and Theory of Petri Nets (ICATPN'99)
Editor(s)
Date
1999
Keywords
Laboratories
LGL
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Conference Papers
Work produced at EPFL
Published
Conference Papers
Work produced at EPFL
Published
Record creation date
2005-09-20