| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-12页 |
| ·研究背景及意义 | 第8-9页 |
| ·国内外研究现状及发展趋势 | 第9-11页 |
| ·无线自动售货机的发展和研究现状 | 第9-10页 |
| ·Petri网建模理论的发展和研究现状 | 第10-11页 |
| ·本文的主要内容及技术路线 | 第11-12页 |
| 第二章 基础理论 | 第12-21页 |
| ·离散事件动态系统简介 | 第12页 |
| ·PETRI网的相关理论 | 第12-20页 |
| ·Petri网结构 | 第13页 |
| ·Petri网的图形表示 | 第13-16页 |
| ·Petri网系统 | 第16页 |
| ·变迁发生规则 | 第16-17页 |
| ·Petri网的性质 | 第17-18页 |
| ·Petri网的分析方法 | 第18页 |
| ·Petri网的分类 | 第18-19页 |
| ·Petri网的特点 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 无线自动售货机系统 | 第21-27页 |
| ·SMS系统平台 | 第22-23页 |
| ·SMS简介 | 第22页 |
| ·SMS体系结构 | 第22-23页 |
| ·AT指令和SMS编码方式 | 第23-25页 |
| ·AT指令 | 第23-24页 |
| ·SMS编码方式 | 第24页 |
| ·自动售货机信息编码规则 | 第24-25页 |
| ·监控中心介绍 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第四章 基于PETRI网的自动售货机销售系统建模研究 | 第27-44页 |
| ·短信购物流程设计 | 第27-28页 |
| ·短信购物功能概述 | 第27页 |
| ·短信购物流程 | 第27-28页 |
| ·传统自动售货机系统商品交易流程的PETRI网模型 | 第28-37页 |
| ·传统自动售货机交易流程的顶层Petri网模型 | 第29-30页 |
| ·传统售货机销售顶层Petri网模型的变迁分解 | 第30-31页 |
| ·传统自动售货机交易流程的完整Petri网模型 | 第31-32页 |
| ·模型仿真验证和分析 | 第32-37页 |
| ·短信购物的自动售货机商品交易流程的PETRI网模型 | 第37-43页 |
| ·基于短信购物的顶层Petri网模型分解 | 第38-40页 |
| ·短信购物的自动售货机完整Petri网模型 | 第40-43页 |
| ·本章小结 | 第43-44页 |
| 第五章 基于PETRI网的自动售货机物流配送系统建模研究 | 第44-52页 |
| ·物流系统概述 | 第44-45页 |
| ·自动售货机配送过程 | 第45-46页 |
| ·传统的自动售货机配送过程 | 第45页 |
| ·短信监控的自动售货机配送过程 | 第45-46页 |
| ·扩展的PETRI网 | 第46-47页 |
| ·变迁含时间因数的时延Petri网 | 第46-47页 |
| ·带抑制弧的时延Petri网 | 第47页 |
| ·自动售货机物流配送的PETRI网模型 | 第47-50页 |
| ·传统自动售货机的物流配送建模 | 第48-49页 |
| ·基于短信监控的自动售货机物流配送建模 | 第49-50页 |
| ·时间绩效比较分析 | 第50-51页 |
| ·本章小结 | 第51-52页 |
| 第六章 结论 | 第52-54页 |
| ·全文总结 | 第52页 |
| ·进一步的工作与展望 | 第52-54页 |
| 参考文献 | 第54-57页 |
| 致谢 | 第57-58页 |
| 攻读学位期间主要研究成果 | 第58页 |
