modelinguppaal

Is there a terminating state in UPPAAL?


How can I create a "terminating" state in UPPAAL? If there is no edge from a state the execution will stop with deadlock. If the state has a loop without any guard the execution has never stopped. What is the best way to stop the Simulator execution without deadlock (if there is)?


Solution

  • No there isn't any specific terminating state. Check out the comments below the question for more details.