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.
No Comments yet
Sorry, the comment form is closed at this time.