SYROCO

Overview

Entry last updated: 2013/2/25
Entry last validated: 2004/5/17

Tool homepage: http://w3.univ-tlse1.fr/irit/soc/coo

Tool availability: Commercial (free for academic institutions)

Tool Features

Petri Nets Supported (see also help on terminology)

High-level Petri Nets
Petri Nets with Time
Dynamic instantiation of nets, C++ code associated to transitions and places, priority

Components (see also help on terminology)

Graphical Editor
Fast Simulation
Simple Performance Analysis
Interchange File Format
C++ code generation

Environments

C++
Requires only a C++ compiler

Tool Description

SYROCO is a CoOperative Objects compiler which translates COO classes into C++ classes in an efficient way.

It is suitable both for the simulation of distributed systems and the implementation of concurrent applications.

COOs are (Very) High Level Petri Nets, featuring dynamic instantiation, synchronous and asynchronous communications, inheritance, temporisation, data processing capabilities, ...

Contact Information

C. Sibertin-Blanc
University Tlse 1/IRIT
1 place A. France
31042 Toulouse cedex
France

Phone:  +33 561 12 87 94
Fax:    +33 561 12 86 75
E-mail: sibertin@irit.fr

Other Remarks

COO classes may be edited either as text files or using the MACAO Petri net editor (cf. CPN-AMI).

If MACAO is not used, only a C++ compiler is required.

The maintainers of this page