About

Roméo is a software studio for Time Petri Net analysis, developed in the Real-Time Systems Team at IRCCyN . It performs analysis on T-Time Petri nets and on one of their extension to scheduling.

Roméo consists of a graphical user interface (GUI) (written in TCL/Tk) to edit and design TPNs and of computation modules (Gpn and Mercutio, written in C++).

Roméo has been created by Olivier (H.) Roux who supervises developments around this software.
Didier Lime, Guillaume Gardey and Morgan Magnin are the other members of the development team.

On Time Petri Nets, Roméo performs:

  • computation of the State Space (based on State Classes or Zones)
  • on-the-fly verification of properties on reachable markings
  • graphical simulation of a TPN

On an extension of Time Petri Nets to scheduling (TPN with stopwatches SWPN), Roméo performs:

  • computation of the State Space
  • on-the-fly verification of properties on reachable markings
  • graphical simulation of a TPN with stopwatches

On parametric extension of TPN and SWPN , Roméo performs:

  • computation of the Parametric State Space
  • on-the-fly verification of parametric properties on reachable markings
  • graphical simulation

Powered by WordPress with Pool theme design by Borja Fernandez. Roméo logo design by Jean-Luc Bechennec.
Entries and comments feeds. Valid XHTML and CSS. ^Top^