基于Petri网的电梯群控系统
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-14页 |
| ·课题来源和意义 | 第8-9页 |
| ·国内外研究现状 | 第9-12页 |
| ·电梯群控系统发展过程 | 第9-10页 |
| ·电梯群控系统现状 | 第10-12页 |
| ·电梯群控系统的发展趋势 | 第12-13页 |
| ·论文的主要研究内容 | 第13-14页 |
| 2 Petri网简介 | 第14-28页 |
| ·Petri网的发展历史 | 第14-16页 |
| ·Petri网的应用 | 第16-18页 |
| ·Petri网基本概念 | 第18-23页 |
| ·网与网系统的分类 | 第23-26页 |
| ·按结构分类 | 第23-24页 |
| ·按功能分类 | 第24-26页 |
| ·Petri网的扩展 | 第26页 |
| ·Petri网的结构和行为特征 | 第26-28页 |
| 3 电梯群控系统模型的建立 | 第28-40页 |
| ·电梯群控系统概要 | 第28-31页 |
| ·单部电梯的运行行为描述 | 第29页 |
| ·电梯的运行原则分析 | 第29-30页 |
| ·电梯的交通模式分析 | 第30-31页 |
| ·电梯系统的多元化 | 第31页 |
| ·程序设计概要建模 | 第31-32页 |
| ·建模分析 | 第32-33页 |
| ·模型运行分析 | 第33-36页 |
| ·模型运行情况分析 | 第33-36页 |
| ·模型参数解释 | 第36页 |
| ·局部功能细化 | 第36-40页 |
| ·Choose(i,x,L)结构 | 第36页 |
| ·Choose(i,x,W)结构 | 第36-37页 |
| ·Choose(i,x,Q)结构 | 第37-38页 |
| ·运行情况分析 | 第38-40页 |
| 4 系统模型的仿真与验证 | 第40-51页 |
| ·Petri网分析技术 | 第40-41页 |
| ·模型的抽象与验证 | 第41-46页 |
| ·系统仿真 | 第46-51页 |
| ·在Hips中建立Petri网模型 | 第47-48页 |
| ·有界性检测 | 第48页 |
| ·死锁检测 | 第48-49页 |
| ·可达标识图检测 | 第49-51页 |
| 结论 | 第51-52页 |
| 参考文献 | 第52-56页 |
| 攻读硕士学位期间发表论文及科研成果 | 第56-57页 |
| 致谢 | 第57-58页 |
