Roméo 3.4.0

December 18, 2017 on 2:34 pm | In Releases |

This release introduces discrete controller synthesis capabilities, with extended attributes for uncontrollable transitions (ineluctable, delayable).

It also fixes copy and paste from one tab to another in the GUI as well as problems with empty identifiers for places or transitions.

This new version can be downloaded at the downloads page.

No Comments yet

Sorry, the comment form is closed at this time.

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^