首页 > 解决方案 > 分层 Petri 网模型的 ASK-CTL 查询公式是什么?

问题描述

我正在尝试检查此谓词是否在分层 Petri 网模型中成立,但出现错误。代码和错误如图所示。 ASK-CTL 查询错误

标签: modelingcpn-tools

解决方案


推荐阅读