| 查看: 420 | 回复: 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 ] |
回复此楼» 猜你喜欢
面上的水很深
已经有8人回复
-
生命口C13面上会评时间
已经有11人回复
-
内心匮乏
已经有16人回复
-
生命口面上会评结束了吗大家有知道结果吗？现在还没有结果正常不？
已经有9人回复
-
投英文期刊如何查重
已经有6人回复
-
不要再数国自然申请书的 filecode 的分隔符个数了
已经有21人回复
-
伯胺上甲基求助
已经有7人回复
-
跨出版社商投稿
已经有5人回复
-
5个%2F，非固定段22个字母
已经有7人回复
-
生生命学部会评
已经有4人回复