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