| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-19页 |
| ·课题的背景及意义 | 第10-13页 |
| ·课题的背景 | 第10-12页 |
| ·课题的意义 | 第12-13页 |
| ·国内外研究现状 | 第13-15页 |
| ·本文的研究内容、方法及创新点 | 第15-19页 |
| ·研究内容 | 第15-16页 |
| ·研究方法 | 第16-18页 |
| ·主要创新点 | 第18-19页 |
| 第二章 自动化立体仓库与Petri网建模方法 | 第19-29页 |
| ·自动化立体仓库 | 第19-24页 |
| ·自动化立体仓库简介 | 第19-20页 |
| ·自动化立体仓库优点 | 第20-21页 |
| ·传统自动化立体仓库的组成 | 第21-23页 |
| ·自动小车存取系统 | 第23-24页 |
| ·Petri网理论 | 第24-29页 |
| ·Petri网的发展 | 第24-25页 |
| ·Petri网的特点与应用 | 第25-26页 |
| ·Petri网的基本概念 | 第26-28页 |
| ·Petri网的运行规则 | 第28-29页 |
| 第三章 基于双重着色动态赋时Petri网的AVS/RS动态模型 | 第29-48页 |
| ·双重着色动态赋时Petri网(DCDT-PN)方法的提出 | 第29-31页 |
| ·系统资源的行为分析 | 第31-34页 |
| ·应用DCDT-PN构建AVS/RS系统的模块化模型 | 第34-38页 |
| ·应用DCDT-PN构建任务进入系统的行为模型 | 第34-35页 |
| ·应用DCDT-PN构建装载行为模型 | 第35-36页 |
| ·应用DCDT-PN构建卸载行为模型 | 第36页 |
| ·应用DCDT-PN构建输送行为模型 | 第36-37页 |
| ·应用DCDT-PN构建离开系统的行为模型 | 第37-38页 |
| ·应用DCDT-PN构建指定行为模型 | 第38页 |
| ·AVS/RS系统的DCDT-PN模型 | 第38-44页 |
| ·AVS/RS系统动态模型的可行性分析 | 第44-48页 |
| ·入库过程的可行性分析 | 第44-46页 |
| ·出库过程的可行性分析 | 第46-48页 |
| 第四章 AVS/RS动态模型中的无死锁控制 | 第48-63页 |
| ·AVS/RS系统的死锁条件与路径图 | 第48-52页 |
| ·AVS/RS系统的死锁避免控制策略 | 第52-56页 |
| ·死锁控制算法 | 第56-58页 |
| ·实例分析 | 第58-63页 |
| 第五章 AVS/RS无死锁控制中的环路识别 | 第63-71页 |
| ·两条路径间的环路(环路链)识别 | 第63-67页 |
| ·多条路径间的环路(环路链)识别 | 第67-69页 |
| ·小车环路条件判断 | 第69-71页 |
| 第六章 基于VC++.NET的AVS/RS动态模型的仿真 | 第71-86页 |
| ·数据库表的设计 | 第71-74页 |
| ·系统出入库流程 | 第74-76页 |
| ·小车调度 | 第76-79页 |
| ·小车路径确定 | 第76-77页 |
| ·小车选择 | 第77-79页 |
| ·系统行为的实现 | 第79-83页 |
| ·输送行为实现 | 第79-81页 |
| ·卸载行为实现 | 第81-82页 |
| ·装载行为实现 | 第82-83页 |
| ·仿真系统主函数流程 | 第83-85页 |
| ·AVS/RS系统仿真 | 第85-86页 |
| 第七章 总结与展望 | 第86-88页 |
| ·全文总结 | 第86-87页 |
| ·展望 | 第87-88页 |
| 参考文献 | 第88-92页 |
| 攻读硕士学位期间发表的论文及参与的科研项目 | 第92-93页 |
| 致谢 | 第93页 |
