一种扩展Petri网模型及应用研究
| 第1章 绪论 | 第1-10页 |
| 1．1 研究背景 | 第7-8页 |
| 1．2 研究意义 | 第8-9页 |
| 1．3 本文完成的主要工作 | 第9-10页 |
| 第2章 PETRI网 | 第10-16页 |
| 2．1 PN的基本概念 | 第10-13页 |
| 2．2 Petri网方法用于系统控制设计和分析 | 第13-16页 |
| 第3章 CtrlPN的基本概念 | 第16-22页 |
| 3．1 CtrlPN的提出 | 第16页 |
| 3．2 CtrlPN的有关定义 | 第16-18页 |
| 3．3 CtrlPN的发射规则 | 第18-19页 |
| 3．4 CtrlPN的建模万法 | 第19-22页 |
| 第4章 DPN的基本概念 | 第22-36页 |
| 4．1 DPN的提出 | 第22页 |
| 4．2 DPN的有关定义 | 第22-23页 |
| 4．3 DPN的发射规则 | 第23-29页 |
| 4．4 DPN的建模与分析 | 第29-36页 |
| 第5章 CDPN的理论和方法 | 第36-43页 |
| 5．1 CDPN的用途 | 第36页 |
| 5．2 CDPN的基本概念 | 第36-38页 |
| 5．3 CDPN的发射规则 | 第38-42页 |
| 5．4 CDPN的建模步骤 | 第42-43页 |
| 第6章 CDPN的分析方法 | 第43-47页 |
| 6．1 引言 | 第43页 |
| 6．2 CDPN的可达树 | 第43-45页 |
| 6．3 PN的不变式 | 第45-46页 |
| 6．4 基于S-不变式的CDPN分析 | 第46-47页 |
| 第7章 建模实例 | 第47-56页 |
| 7．1 引言 | 第47页 |
| 7．2 立体停车库系统 | 第47-48页 |
| 7．3 立体车库系统的CDPN模型 | 第48-56页 |
| 第8章 基于CDPN的控制程序设计 | 第56-71页 |
| 8．1 引言 | 第56页 |
| 8．2 基于CDPN的程序设计 | 第56-59页 |
| 8．3 程序设计实例 | 第59-71页 |
| 结束语 | 第71-72页 |
| 致谢 | 第72-73页 |
| 参考文献 | 第73-76页 |
