Moved "Choose next transition randomly" to simulation controller. Arrows in simulation mode are now visible. The QueryDialog will now use the lens to choose whether or not to show the CTL query or the Reachability query.
Finally, when converting to timed nets, CTL queries are removed and a dialog is shown informing about the removed queries.
Moved "Choose next transition randomly" to simulation controller. Arrows in simulation mode are now visible. The QueryDialog will now use the lens to choose whether or not to show the CTL query or the Reachability query.
Finally, when converting to timed nets, CTL queries are removed and a dialog is shown informing about the removed queries.