学位论文 > 优秀研究生学位论文题录展示

Petri网的仿真软件的研究

作　者: 安凤梅
导　师: 乐晓波
学　校: 长沙理工大学
专　业: 计算机应用技术
关键词: Petri网 抑制弧 化简规则 仿真
分类号: TP391.9
类　型: 硕士论文
年　份: 2011年
下　载: 26次
引　用: 0次
阅　读: 论文下载
 

内容摘要


Carl Adam Petri于1962年在他的博士论文《Kommun Pcation mit automation》中,正式提出了Petri网论。Petri网是一种适合描述离散的、分布式系统的数学建模工具。目前,世界各地已有许多科研人员专注于Petri网的研究,并有不少学者在Petri网的仿真软件这一领域进行了深入研究。本课题从Petri网的实用性着手,详细研究了Petri网的分析和化简技术,在此基础上对Petri网的原图和化简图的等效性进行了分析。最后,在Petrilab 2.0的基础上实现了一个功能更加完善的Petri网仿真工具——Petrilab 3.0。本文以众多分析技术及Petri网的基本理论为依据,采用MATLAB和VC++混合编程,利用面向对象的技术,通过软件再工程模式对谭丹等开发的Petri网仿真软件Petrilab 2.0进行了软件再造。本文所实现的Petri网仿真软件Petrilab 3.0通过添加带抑制弧的Petri网系统的仿真,增强了工具的模拟仿真能力。该仿真软件目前适用于EN系统、P/T系统、自控网系统(包括带约束弧和不带约束弧的两种自控网)以及带抑制弧的Petri系统。同时,为了实现对复杂系统的模拟分析功能,本文对Petri网的化简规则进行了深入研究,并在软件中实现了比较完善的化简功能。最后,经过对原型系统进行全面的测试及运行调试,证明了系统运行稳定可靠,分析结果准确无误且仿真方便快捷,与同类仿真软件相比,该文所实现的Petri网仿真软件—Petrilab 3.0功能更为完善。

全文目录


摘要  5-6
ABSTRACT  6-9
第一章 绪论  9-15
  1.1 问题的提出  9-10
  1.2 国内外的研究现状  10-11
  1.3 研究的目的及意义  11-12
  1.4 研究方法  12-13
  1.5 创新点  13-14
  1.6 本论文的结构安排  14-15
第二章 Petri 网的基本理论及相关技术的研究  15-45
  2.1 Petri 网基本定义及相关定理  15-21
    2.1.1 Petri 网的定义  15-17
    2.1.2 变迁的发生条件和后果  17
    2.1.3 Petri 网的性质  17-18
    2.1.4 Petri 网的分类  18-20
    2.1.5 Petri 网的分析技术  20-21
  2.2 Petri 网的化简技术及进一步研究  21-41
    2.2.1 不带抑制弧的Petri 网的化简技术  21-28
    2.2.2 带抑制弧的Petri 网的化简技术  28-41
  2.3 面向对象的软件再工程  41-44
    2.3.1 软件再工程  42
    2.3.2 反向工程  42-43
    2.3.3 软件再工程模式  43-44
  2.4 本章小结  44-45
第三章 需求分析与系统功能设计及模型分析  45-67
  3.1 需求分析  45-49
  3.2 Petrilab 3.0 系统的功能设计  49-66
    3.2.1 对Petrilab 2.0 原有功能的修改  49
    3.2.2 对带抑制弧的Petri 网系统建模  49-56
    3.2.3 系统模型的构成  56-57
    3.2.4 系统模型的运行  57-62
    3.2.5 P/T 网的化简模块设计  62-65
    3.2.6 带抑制弧的Petri 网化简模块设计  65-66
  3.3 本章小结  66-67
第四章 系统模型及分析算法的设计  67-75
  4.1 系统模型设计  67-70
    4.1.1 MFC 简介  67-68
    4.1.2 系统模型构建  68-70
  4.2 重点特性的算法设计  70-74
  4.3 本章小结  74-75
第五章 建模软件的仿真与测试  75-83
  5.1 建模软件的实验  75-80
  5.2 与其它Petri 网仿真软件的对比  80-81
  5.3 测试与维护  81-82
  5.4 本章小结  82-83
第六章 结论与展望  83-84
  6.1 总结  83
  6.2 进一步的工作及展望  83-84
参考文献  84-88
致谢  88-89
附录 （攻读学位期间发表论文目录）  89-90
详细摘要  90-93

相似论文

  1. 液力减速器制动性能及用于飞机拦阻的仿真研究,TH137.331
  2. 基于陀螺和星敏感器的卫星姿态确定研究,V448.2
  3. 空间交会对接控制方法的研究,V526
  4. 船用舵机电液伺服单元单神经元PID控制,U666.152
  5. 碾压混凝土拱坝温度应力仿真分析与分缝设计研究,TV642.2
  6. 基于精细积分法的电力系统动态电压稳定仿真研究,TM712
  7. 开关磁阻发电机供电系统仿真分析,TM31
  8. 电动车用复合结构永磁同步电机系统的仿真研究,TM341
  9. HID灯整流效应的研究,TM923.32
  10. 导弹虚拟试验可视化技术研究,TP391.9
  11. 空中目标与背景的红外图像仿真技术研究,TP391.41
  12. 基于物理模型的真实感流体实时仿真技术,TP391.41
  13. 移动计算环境下检查点技术研究与Petri网建模,TP301.1
  14. 星载高光谱传感器模拟仿真系统研究,TP391.9
  15. 仿真系统模型验证方法和工具研究,TP391.9
  16. 基于逼真度的仿真系统评估研究,TP391.9
  17. 复杂仿真系统VV&A工作流技术研究,TP391.9
  18. 基于神经网络的水厂投药预测控制研究,TP273.1
  19. 红外成像目标模拟电阻阵电控系统研制,TJ765.4
  20. 大气层内动能拦截弹姿态控制规律设计,TJ765.23
  21. 高光谱遥感场景模型仿真研究,TP72

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 信息处理（信息加工） > 计算机仿真
© 2012 www.xueweilunwen.com