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^

. HugeDomains.com - LoadupDates.com is for sale (Loadup Dates)

Hundreds of thousands of premium domains

Questions? We're here to help! Call today:


LoadupDates.com is for sale

Buy Now: $795
  • Take Immediate ownership
  • Transfer the domain to the Registrar of your choosing
Finance This Domain: $795 12 monthly payments of $67
  • 12 monthly payments, only $66.25 per month
  • Start using the domain today See details

Talk to a domain expert: 1-303-893-0552

Hurry - once it's sold this opportunity will be gone!

Besides being memorable, .com domains are unique: This is the one and only .com name of its kind. Other extensions usually just drive traffic to their .com counterparts. To learn more about premium .com domain valuations, watch the video below:

Turbocharge your Web site. Watch our video to learn how.

Improves Your Web Presence

Get noticed online with a great domain name

73% of all domains registered on the Web are .coms. The reason is simple: .com is the where most of Web traffic happens. Owning a premium .com gives you great benefits including better SEO, name recognition, and providing your site with a sense of authority.

Here's What Others Are Saying

Since 2005, we've helped thousands of people get the perfect domain name
  • Very easy and safe - Tuan Nguyen, 7/30/2018
  • Very straight forward process to select and order domains. My conversations with Huge Domains were very professional and convinced me to do business with them. - John Massey, 7/30/2018
  • Excellent domain purchases experience. Great customer service. Easy and smooth process. Fantastic support. Highly recommended! - Mazen M, 7/30/2018
  • More testimonials


Own this domain today

Our Price: $795 (USD)

Speak with a domain specialist!
Call us: 1-303-893-0552 M-F 9am - 5pm MST
Other Domains You Might Like

© 2018 HugeDomains.com. All rights reserved.