UPPAAL中是否有终止状态？

Question

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

Answer 1

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