302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
Petri网-研究
2020年
2020
2018
全部
搜索分类
Petri网的元展
本书主要介绍Petri网的元展这一用于并发系统模型检测的方法,利用元展检测并发系统健壮性、兼容性与死锁,...
2020.9
按中图号分类
按出版社分类