Entry last updated: 2010/3/5
Entry last validated: 2010/3/5

Tool homepage:

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


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, Bt. A, 
Office  217
CH-1227 Carouge 

Phone:  0041 22 37 90 161
Fax:    0041 22 37 90 250

Other Remarks

Distributed under the terms of the GNU General Public License.
[PN Home][*]
The maintainers of this page