SpaceEx State Space Explorer

SpaceEx Model Editor Update to version 0.8.346

The SpaceEx Model Editor has been extended with better handling of components and an improved visualization of automata.

Transitions can now be rectangular or Bezier-curves, and waypoints can be added to determine their visual path. Text in transition labels and locations can now span multiple lines.

Changes in components are now propagated properly accross to networks. Note that the changes only propagate one level up in the network hierarchy, which is to avoid unintented cascade effects.

Several bugs have been removed.