The Step-by-Step Translation Window

In this panel, you can translate a QPTL formula step-by-step into an equivalent label-on-state GBA. A verbose message explaining each step is shown in the bottom of the window. You can control the step-by-step translation by the following buttons and options:

: Do a minor step, for example, creating a state, creating a transition, and so on.


: Do a major step, for example, creating all initial states, creating all outgoing transitions for a state, and so on.


: Play the translation algorithm. A minor step will be performed after every user-defined time interval.


: Pause the process invoked by .


: Set the time interval. The default value is 1 second.


A screenshot of the step-by-step translation window.