| 查看: 354 | 回复: 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 ] |
回复此楼» 猜你喜欢
三甲基碘化亚砜的氧化反应
已经有4人回复
-
请问下大家为什么这个铃木偶联几乎不反应呢
已经有5人回复
-
请问有评职称，把科研教学业绩算分排序的高校吗
已经有5人回复
-
孩子确诊有中度注意力缺陷
已经有12人回复
-
2025冷门绝学什么时候出结果
已经有3人回复
-
天津工业大学郑柳春团队欢迎化学化工、高分子化学或有机合成方向的博士生和硕士生加入
已经有4人回复
-
康复大学泰山学者周祺惠团队招收博士研究生
已经有6人回复
-
AI论文写作工具：是科研加速器还是学术作弊器？
已经有3人回复
-
论文投稿，期刊推荐
已经有4人回复
-
硕士和导师闹得不愉快
已经有13人回复
