声明
插图索引
表格索引
符号对照表
缩略语对照表
第一章 绪论
1.2 国内外发展现状
1.3 论文的主要内容及章节安排
第二章 Petri网基本理论及子类
2.1 Petri网的基本概念
2.2 信标与陷阱
2.3 S3PR、WS3PR与LS3PR
2.4 本章小结
第三章 存在消耗型资源的一类Petri网
3.1 RCPN的基本理论
3.2 资源消耗的方式和死锁的分类
3.3 工具软件CPN Tools简介
3.4 基于CPN Tools的RCPN建模
3.5 本章小结
第四章 基于LRS活性比例控制器的BC运行控制器
4.1 资源回路与竞争路径的选取
4.2 基于LRS控制器的BC控制器设计
4.3 RCPN的BC控制器设计
4.4 BC运行控制器的简化与非简化对比
4.5 基于抑制弧与全局控制器的控制策略
4.6 本章小结
第五章 基于回溯变迁的控制器设计
5.1 基于回溯变迁的控制器设计
5.2 S3PR网与WS3PR网的回溯变迁控制器的设计
5.3 RCPN的回溯变迁控制器的设计
5.4 BC运行控制器与基于变迁的回溯控制器的结合
5.5 本章小结
第六章 总结与展望
6.2 展望
参考文献
致谢
作者简介
