Polymorphism and Module-Reuse Mechanisms for Algebraic Petri Nets in CoopnTools
Buffo, Mathieu; Buchs, Didier
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
Record creation date 2005-09-20

Actions