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

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^