| 查看: 376 | 回复: 0 | |||
| 当前主题已经存档。 | |||
[交流]
【求助】uppaal验证性质表达问题
|
|||
|
本人初次学习uppaal 4.10版本，为了验证一个Petri网模型中如果p[0]有token时，下一时刻p[3]一定会有token,本人使用表达式A[] (p[0].token imply A<> p[3].token)，提示com.uppaal.engine.ServerException:类型错误，而使用表达式A[] (p[0].token --> A<> p[3].token)时，提示com.uppaal.engine.ServerException:路径量词不能嵌套。如何正确表达我的意思呢？恳请各位能够指教。 [ Last edited by haixing2008 on 2009-12-15 at 10:32 ] |
回复此楼» 猜你喜欢
酰胺脱乙酰基
已经有12人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全
已经有3人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全
已经有3人回复
-
同年申请2项不同项目，第1个项目里不写第2个项目的信息，可以吗
已经有4人回复
-
有时候真觉得大城市人没有县城人甚至个体户幸福
已经有10人回复
-
天津大学招2026.09的博士生，欢迎大家推荐交流（博导是本人）
已经有5人回复
-
有院领导为了换新车，用横向课题经费买了俩车
已经有5人回复
-
CSC & MSCA 博洛尼亚大学能源材料课题组博士/博士后招生｜MSCA经费充足、排名优
已经有6人回复
-
面上项目申报
已经有3人回复
-
博士延得我，科研能力直往上蹿
已经有7人回复