学位论文 > 优秀研究生学位论文题录展示
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
|
相似论文
- 液力减速器制动性能及用于飞机拦阻的仿真研究,TH137.331
- 基于陀螺和星敏感器的卫星姿态确定研究,V448.2
- 空间交会对接控制方法的研究,V526
- 船用舵机电液伺服单元单神经元PID控制,U666.152
- 碾压混凝土拱坝温度应力仿真分析与分缝设计研究,TV642.2
- 基于精细积分法的电力系统动态电压稳定仿真研究,TM712
- 开关磁阻发电机供电系统仿真分析,TM31
- 电动车用复合结构永磁同步电机系统的仿真研究,TM341
- HID灯整流效应的研究,TM923.32
- 导弹虚拟试验可视化技术研究,TP391.9
- 空中目标与背景的红外图像仿真技术研究,TP391.41
- 基于物理模型的真实感流体实时仿真技术,TP391.41
- 移动计算环境下检查点技术研究与Petri网建模,TP301.1
- 星载高光谱传感器模拟仿真系统研究,TP391.9
- 仿真系统模型验证方法和工具研究,TP391.9
- 基于逼真度的仿真系统评估研究,TP391.9
- 复杂仿真系统VV&A工作流技术研究,TP391.9
- 基于神经网络的水厂投药预测控制研究,TP273.1
- 红外成像目标模拟电阻阵电控系统研制,TJ765.4
- 大气层内动能拦截弹姿态控制规律设计,TJ765.23
- 高光谱遥感场景模型仿真研究,TP72
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 信息处理(信息加工) > 计算机仿真
© 2012 www.xueweilunwen.com
|