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