CoopnBuilder
Overview
Entry last updated: 2010/3/5
Entry last validated: 2010/3/5
Tool homepage: http://smv.unige.ch/research-projects/co-opn
Tool availability: Free of charge
Tool Features
Petri Nets Supported (see also help on terminology)
- Object-oriented PNs
- High-level Petri Nets
Components (see also help on terminology)
- Graphical Editor
- Token Game Animation
- Fast Simulation
- Code generation
Environments
Tool Description
CoopnBuilder is an environment composed of a set of tools
destinated to the support of concurrent software development based on
the CO-OPN language. CO-OPN is an object-oriented specification
language based on synchronized algebraic Petri nets. This language
allows the definition of active concurrent objects, and includes
facilities for sub-typing, sub-classing and genericity. A coordination
language is included in CO-OPN that permits the definition of the
various sub-components defining the system under development.
Contact Information
Prof. Didier Buchs
Computer Science Department
University of Geneva
7 route de Drize, B‚t. A,
Office 217
CH-1227 Carouge
Switzerland
Phone: 0041 22 37 90 161
Fax: 0041 22 37 90 250
E-mail: didier.buchs@unige.ch
Other Remarks
Distributed under the terms of the GNU General Public License.
The maintainers of this page