Romeo

Overview

Entry last updated: 2003/5/17
Entry last validated: 2004/5/17

Tool homepage: http://www.irccyn.ec-nantes.fr/irccyn/d/en/equipes/TempsReel/logs

Tool availability:

Tool Features

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

Environments

Tool Description

ROMEO performs : ROMEO is composed of a graphic interface written in Tcl/Tk and of two computation process of the state space of time Petri net

Contact Information

Olivier H. Roux
IRCCyN
UMR CNRS 6597
1, rue de la Noč
BP 92 101
44321 Nantes FRANCE CEDEX 03 

Phone:  
Fax:    +33 02 40 37 69 30
E-mail: romeo@irccyn.ec-nantes.fr

Other Remarks


[PN Home][*]
The maintainers of this page