Roméo 3.7.0

February 11, 2020 on 6:26 pm | In Releases |

A new release of Roméo is available.

It introduces a new parametric infimum cost property that outputs, for parametric cost time Petri nets, the infimum cost to reach some marking (over all runs and parameter values) together with the set of parameters that allow this infimum cost to be realised.

Get this release on the Roméo 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^