UPPAAL 中有终止状态吗？

Question

如何在 UPPAAL 中创建 "terminating" 状态？如果某个状态没有边缘，则执行将因死锁而停止。如果状态有一个没有任何守卫的循环，​​则执行永远不会停止。在没有死锁的情况下停止模拟器执行的最佳方法是什么（如果有）？

Answer 1

不，没有任何特定的终止状态。 查看问题下方的评论以了解更多详细信息。