This version fixes more small glitches with DBMs and zone initialisation when stopwatch arcs are used.
The GUI now also adds a new Hybrid-T-TPN mode in the control panel. This allows assignment of constant time elapsing speeds to transitions, which can be used in conjunction to stopwatch arcs to specify hybrid models.
Get this version on the Downlads page.
Update Jan 5, 2016: we have updated the files (versions a and b) to fix a few minor GUI issues and a bad initialisation in the AF property.
Update Jan 8, 2016: yet some minor updates (versions c and d) to optimise integer hull computations a bit and remove unnecessary parser strictness in the GUI