基于Petri网的计算树逻辑模型检测 刘关俊,何雷锋 著.pdf 《基于Petri网的计算树逻辑模型检测》主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资 叁号仓库 2024年02月20日 0 点赞 0 评论 4800 浏览
