Roméo 3.7.0

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

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.

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^