Roméo - A tool for Time Petri Nets analysis

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.