UPPAAL有终止状态吗？

Question

如何在UPPAAL中创建“终止”状态？如果状态没有边界，则执行将因死锁而停止。如果状态有一个没有任何保护的循环，则执行从未停止过。在没有死锁的情况下，停止模拟器执行的最佳方法是什么(如果有)？

Answer 1

不，没有任何特定的终止状态。有关更多细节，请查看下面的评论。