基于一般Petri网的自动制造系统活性控制器设计
| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 第一章 绪论 | 第13-23页 |
| ·研究背景与意义 | 第13-16页 |
| ·PETRI网的应用研究 | 第16-18页 |
| ·自动制造系统的死锁研究 | 第18-21页 |
| ·本文完成的主要工作 | 第21-23页 |
| 第二章 PETRI网基础理论 | 第23-57页 |
| ·PETRI网定义和性质 | 第23-35页 |
| ·Petri网的结构定义和变迁发射规则 | 第23-30页 |
| ·Petri网结构不变式 | 第30-31页 |
| ·信标和陷阱 | 第31-35页 |
| ·PETRI网的系统建模及分析 | 第35-42页 |
| ·Petri网的系统建模 | 第35-38页 |
| ·Petri网系统模型分析 | 第38-42页 |
| ·一般PETRI网子类 | 第42-55页 |
| ·加工进程网 | 第42-45页 |
| ·S~4PR网系统 | 第45-50页 |
| ·G-system网系统 | 第50-55页 |
| ·本章小结 | 第55-57页 |
| 第三章 基本信标理论 | 第57-75页 |
| ·PETRI网的基本信标理论 | 第57-64页 |
| ·等价信标 | 第57-60页 |
| ·基本信标和从属信标 | 第60-61页 |
| ·实例验证 | 第61-64页 |
| ·从属信标的可控性理论 | 第64-71页 |
| ·一般Petri网从属信标最大可控性 | 第64-69页 |
| ·普通Petri网从属信标可控性 | 第69-71页 |
| ·基本信标的选择 | 第71-73页 |
| ·本章小结 | 第73-75页 |
| 第四章 基于基本信标的死锁控制策略 | 第75-101页 |
| ·基于基本信标的控制策略 | 第75-86页 |
| ·一般网系统的信标最大可控性 | 第75-78页 |
| ·一般网系统基本信标死锁控制策略 | 第78-83页 |
| ·一般网系统动态特性分析 | 第83-86页 |
| ·一般网实例验证 | 第86-100页 |
| ·G-system网实例验证 | 第86-93页 |
| ·S~4PR网实例验证 | 第93-100页 |
| ·本章小结 | 第100-101页 |
| 第五章 死锁预防的隐式控制优化策略 | 第101-117页 |
| ·一般PETRI网死锁隐式控制优化方法 | 第101-106页 |
| ·死锁预防隐式控制策略 | 第101-103页 |
| ·改进的信标可控性条件 | 第103-106页 |
| ·FMS实例验证 | 第106-116页 |
| ·S~4PR网实例验证 | 第106-114页 |
| ·G-system网实例验证 | 第114-116页 |
| ·本章小结 | 第116-117页 |
| 第六章 死锁预防的显式控制优化策略 | 第117-133页 |
| ·一般PETRI网死锁显式控制优化方法 | 第117-123页 |
| ·一般Petri网改进的从属信标最大可控性 | 第117-121页 |
| ·死锁预防优化显示控制策略 | 第121-123页 |
| ·FMS实例验证 | 第123-132页 |
| ·S~4PR网实例验证 | 第123-129页 |
| ·G-system网实例验证 | 第129-132页 |
| ·本章小结 | 第132-133页 |
| 第七章 基于混合整数规划的死锁控制策略 | 第133-153页 |
| ·一般网的混合整数规划算法(MIP) | 第133-141页 |
| ·基于MIP的最大死信标的求取 | 第133-139页 |
| ·极小信标求取算法 | 第139-141页 |
| ·基于MIP的基本信标控制策略 | 第141-146页 |
| ·一般Petri网中基于MIP的死锁预防策略 | 第141-142页 |
| ·G-system网实例验证 | 第142-144页 |
| ·S~4PR网实例验证 | 第144-146页 |
| ·基于MIP的两阶段死锁控制策略 | 第146-152页 |
| ·两阶段死锁预防策略 | 第146-149页 |
| ·FMS实例验证 | 第149-152页 |
| ·本章小节 | 第152-153页 |
| 第八章 总结与展望 | 第153-155页 |
| ·全文总结 | 第153-154页 |
| ·研究展望 | 第154-155页 |
| 致谢 | 第155-157页 |
| 参考文献 | 第157-169页 |
| 研究成果 | 第169-171页 |
