小贝子编程

UPPAAL 中是否存在终止状态



如何在UPPAAL中创建"终止"状态？如果状态没有边缘，则执行将因死锁而停止。如果状态具有没有任何防护的循环，则执行从未停止。停止模拟器执行而不死锁的最佳方法是什么(如果有(？

不，

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

相关内容

最新更新


热门标签：

javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium