1. 首页
  2. 安全技术
  3. 其他
  4. petri网性质的线性时序逻辑描述与Spin检验

petri网性质的线性时序逻辑描述与Spin检验

上传者: 2018-12-26 01:25:34上传 CAJ文件 238.3KB 热度 28次
对研究petri网和时序逻辑理论知识的有很大的启发作用
下载地址
用户评论