Roméo 3.0

October 13, 2014 on 9:10 am | In Releases | Comments Off

We are happy to announce the release of Roméo 3.0! The highlights of this version are:

  • New Engine based on CTS structure,
  • Support for integer parameter synthesis

Download this new version in the download section

Roméo 2.10.2

April 3, 2012 on 10:03 am | In Releases | Comments Off

Roméo 2.10.2 has been released.

This is a just a bugfix release to remove a crash in the preference panel.

Download this new version in the download section.

Roméo 2.10.1

February 29, 2012 on 3:07 pm | In Releases | Comments Off

Roméo v2.10.1 has just been released.

This is a bugfix release with several problems in the GUI fixed. A few unmaintained or obsolete features have also been disabled.

Download this new version in the download section.

Roméo 2.10.0

February 13, 2012 on 2:28 pm | In Releases | Comments Off

We are happy to announce the release of Roméo 2.10.0! The highlights of this version are:

  • Support for integer parameter synthesis,
  • New marking properties for TCTL model-checking: deadlock (no transition is enabled/firable) and bounded(k) (no place contains more than k tokens)

It also features many bugfixes. Download this new version in the download section

Roméo 2.9.2

September 30, 2011 on 5:58 pm | In Releases | Comments Off

A new bugfix release of Roméo !

Version 2.9.2 fixes several bugs in the GUI and adds a default limit of 50000 tokens per place for most computations.

Download this new version in the download section

Romeo 2.9.1 : bugfix release

June 17, 2011 on 2:21 pm | In Releases | Comments Off

A new version of Roméo has been released. This mostly fixes several bugs in the GUI.

Download this new version in the download section

08/09/2011: Updated the Mac OS X version to fix a miscompilation of the UPPAAL DBM Lib producing incorrect results

Update (28/06/2011) MS Windows binaries available.

Here comes Roméo 2.9.0

March 8, 2010 on 3:29 pm | In Releases | Comments Off

A new release of Roméo is available! The highlights of this version are:

  • An unfolder for safe parametric time Petri nets, with support for guiding observations,
  • Support for tabs in the GUI

It also features many bugfixes. Download this new version in the download section (Windows version now available!)

Release of Roméo v2.8.0

October 13, 2008 on 2:12 pm | In Releases | Comments Off

A new version of Roméo has arrived!

The highlights of version 2.8.0 are:
- Support for time inhibitor arcs to handle stopwatches;
- The introduction of parameters in the model;
- A revamped TCTL model-checker, working for time Petri nets and stopwatch Petri nets possibly with parameters (in which case the result is a set of constraints on the parameters such that the property is true).

And hopefully, a fair amount of bug fixes.

You can find sources and a few binaries in the download section.

Edit (10/13/08): It seems that a few bugs are still hanging around. Fixed versions will be available by tomorrow along with the Windows binaries.
Edit (10/14/08): The bugs spotted at the last minute were swiftly eradicated, you can now proceed to the download section.
Edit (11/26/08): There was a bug when launching the simulator on some Mac OS X configurations. It has been fixed and the Mac OS X binary has been updated.

Release of Roméo v2.7.2

January 29, 2008 on 6:06 pm | In Releases | Comments Off

During the last months, we have promised a new version of Roméo would be released soon. This day has finally come and we are very proud to present you Roméo v2.7.2! This release contains major new features. Among them, a TCTL-model checker for Stopwatch Petri nets (the model implemented in Roméo is the so-called Scheduling Time Petri Nets). We have also integrated logical inhibitor arcs in our models, which makes it much easier to model systems with exclusion between tasks. We have taken benefits from the feedback of our user community and thus many bugs have been fixed. We hope you will enjoy this brand new Roméo experience.

Edit: We recently fixed some bugs. You can now download the latest v2.7.2 version of Roméo in the download section.

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).

Next 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^