Release of Roméo v2.6.3

May 29, 2006 on 9:12 pm | In Releases | 5 Comments

A small annoying bug was still in TCTL model-checker in version 2.6.1. It has been fixed as soon as it has been discovered.
Meanwhile, the GUI has been updated: places, transitions and edges can be drawn with different colors in order to improve the clarity of your Petri nets.

Roméo v2.6.3 is available in the download section (Roméo v2.6.2 was just a development version).

Release of Roméo v2.6.1

October 17, 2005 on 10:46 pm | In Releases | 1 Comment

Since the previous release of Roméo, a few bugs have been fixed and some improvements have been implemented, e.g.:

  • the zone based method now performs well when dealing with flush arcs;
  • traces given by the TCTL model-checker have been completed.

Roméo v2.6.1 is available in the download section.

New Roméo website

October 8, 2005 on 2:00 am | In General information | 2 Comments

The new Roméo website is now on-line! It was previously hosted on IRCCyN webpages. Roméo now owns its proper subdomain:
All the future developments and releases of Roméo will now be reported at this new URI. Please update your bookmarks!

A major new feature in v2.6: an on-the-fly TCTL model checker for Time Petri Nets

April 25, 2005 on 5:16 pm | In Releases | 4 Comments

Recent efforts focused on the conception of an on-the-fly TCTL model checker for Time Petri Nets. It has recently been implemented in the Mercutio computation module.

To our knowledge, Roméo is the first TPN-analysis tool that implements TCTL model-checking.

Roméo v2.6.0 is available in the download section.

A graphical simulator in Roméo v2.5.0

January 12, 2005 on 3:16 pm | In Releases | 2 Comments

A major new feature has been implemented in the new version of Roméo : a TPN and Scheduling-TPN graphical Simulator

And this is not the only new feature of this version! Indeed Roméo now deals with an optimized computation of the state class graph of scheduling-TPN (computation is based on a mix of polyhedral and DBM manipulation) and with the computation of a LTL graph thanks to the Zone-based method (Mercutio).

Roméo also benefits from an upgrade of the GUI (control panel, localization, …).

Roméo v2.5.0 is available in the download section.

Release of Roméo 2.4.5

October 6, 2004 on 2:14 pm | In Releases | 2 Comments

New release: a bug in the computation of state class graph for Scheduling-TPN (when LFT is infinity) has been fixed.
Roméo v2.4.5 is available in the download section.

« Previous Page

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^