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)
- Graphical Editor
- State Spaces
Environments
- PC, Linux
- Macintosh, Mac OS X
Tool Description
ROMEO performs :
- computation of the State Class Graph of Time Petri Nets
- computation of the State Class (Timed) Automaton of Time Petri Nets
- computation of the Marking (Timed) Automaton of Time Petri Nets
- structural translation from Time Petri Nets to Timed Automata
- computation of the State Class Graph of TPN with scheduling extension
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]](/TGI/PetriNets/img/button_home.gif)
![[*]](/TGI/PetriNets/img/button_tool.gif)
The maintainers of this page