Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我正在尝试检查此谓词是否在分层 Petri 网模型中成立，但出现错误。代码和错误如图所示。 ASK-CTL 查询错误
