Roméo v3.3.0

May 9, 2017 on 2:10 pm | In Releases |

Roméo 3.3 is a new major version introducing experimental support for cost minimisation.

Transitions can be annotated with a discrete cost paid each time a transition fired. A global cost rate, depending on the marking, also gives the rate at which cost increases each time unit.

A new query has been introduced, called mincost, that computes the minimum cost (and a trace) to reach some marking.

Get this new version in the Downloads section.

Update (2017-05-12): added macos binary distribution.

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^