modeling - UPPAAL 中是否存在终止状态？

Question

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

Answer 1

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