首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--一般性问题论文--理论、方法论文--自动机理论论文

排队系统的Petri网建模与验证

摘要第1-5页
ABSTRACT第5-7页
1 绪言第7-10页
   ·课题背景介绍第7-8页
   ·国内外研究概况第8页
   ·本文的研究内容与结构第8-10页
2 理论基础第10-23页
   ·排队网概述第10-13页
   ·GSPN 理论概述第13-17页
   ·排队网与GSPN 的分层模型第17-18页
   ·DODAF 介绍第18-23页
3 软件介绍第23-28页
   ·ROCKWELL ARENA第23-27页
   ·CPN TOOLS第27-28页
4 PETRI 网仿真软件开发第28-34页
   ·软件框架设计第28-29页
   ·模块设计第29-30页
   ·设计模式第30-31页
   ·主要功能实现第31-34页
5 排队系统的GSPN 分析法第34-40页
   ·排队系统的GSPN 模型转换第34-39页
   ·排队系统的GSPN 仿真分析第39-40页
6 案例分析第40-49页
   ·案例描述第40-41页
   ·案例模型的获得第41-43页
   ·分析验证第43-49页
7 总结第49-50页
致谢第50-51页
参考文献第51-55页
附录 攻读硕士期间参与的科研项目及发表论文第55页

论文共55页,点击 下载论文
上一篇:基于模糊逻辑的飞航导弹高度控制系统设计
下一篇:我国征地补偿法律制度研究