基于Petri网的物流仓储系统的建模与应用

摘要	第4-5页
Abstract	第5页
第一章 绪论	第7-12页
1.1 研究的背景及意义	第7页
1.2 国内外研究的现状	第7-11页
1.3 本文研究内容及技术路线	第11-12页
第二章 Petri 网理论概述	第12-17页
2.1 传统 Petri 网介绍	第12-13页
2.2 扩展 Petri 网的研究	第13-14页
2.2.1 扩展的 Petri 网	第13-14页
2.2.2 扩展 Petri 网的触发机制	第14页
2.3 基于 Petri 网的工作流网研究	第14-15页
2.4 Petri 网模型的化简规则	第15页
2.5 Petri 网模型的正确性分析	第15-17页
第三章 物流仓储主要流程的建模	第17-35页
3.1 仓储及仓储业的发展	第17-19页
3.1.1 仓储的概念	第17页
3.1.2 仓储业的发展	第17-19页
3.2 仓储的功能	第19-21页
3.3 现代物流仓库的类型	第21-22页
3.4 仓储合理化的标志	第22-23页
3.5 仓储在现代物流中的作用	第23-24页
3.6 物流仓储主要流程的建模	第24-35页
3.6.1 入库作业流程及 Petri 网模型	第24-29页
3.6.2 出库作业流程及 Petri 网模型	第29-35页
第四章 物流仓储系统模型的仿真	第35-44页
4.1 物流仓储系统中产品配套组装模型说明	第35页
4.2 仿真工具介绍	第35-39页
4.3 仿真结果及分析	第39-44页
4.3.1 第一次仿真	第39-41页
4.3.2 第二次仿真	第41-44页
第五章 总结和展望	第44-45页
参考文献	第45-48页
攻读硕士学位期间参与发表的科研论文	第48-49页
致谢	第49-50页
详细摘要	第50-55页