| 查看: 428 | 回复: 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 ] |
回复此楼» 猜你喜欢
有没有仍没收到信息的
已经有3人回复
-
有多少人是今天查系统知道结果的？
已经有18人回复
-
导师吐槽：我怎么摊上了这么个极品研究生！
已经有8人回复
-
基金不中，共勉
已经有11人回复
-
麻烦专家们看看评委们的意见（F口面上）
已经有9人回复
-
2026年叶企孙基金
已经有6人回复
-
国自然面上复盘~欢迎讨论
已经有13人回复
-
基金系统什么内容也没有
已经有9人回复
-
为什么资助数各大高校都创新高，自己申请怎么就这么难
已经有11人回复
-
怎么查啊
已经有6人回复
投票:
30