收藏本站
《长沙理工大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

Petri网仿真软件的研究与开发

谭丹  
【摘要】: Petri网是一种可用图形表示的数学对象,德国的Carl Adam Petri于1962年首先使用它模拟通信系统。经过四十几年的日臻完善,Petri网已经发展成为一个完整的理论体系,在其基础上又发展出各种分析方法。随着这些分析方法越来越先进,借助于计算机软件技术的Petri网建模工具软件也应运而生。国内外不少学者在Petri网建模工具软件研究这一领域进行了研究。本课题就是着重于Petri网的分析技术,从Petri网的实用性入手,详细研究了Petri网分析和化简系统的开发和实现。本文作者以Petri网的基本理论和众多分析技术为依据,借助于面向对象的软件再工程模式,利用VC++和MATLAB的混合编程,对长沙理工大学Petri网研究小组开发的Petri网仿真软件Petrilab 1.0进行了软件再造。在其基础上添加了分析、生成和化简模块,并对基本网系统,库所变迁系统和自控网系统用面向对象的方法进行建模和仿真,同时改进了Petrilab 1.0中一些不合理的地方,最终得到了一个功能比较完备的Petri网分析系统Petrilab 2.0。Petrilab 2.0能够从静态和动态两方面比较全面的分析所建立的模型,并提供化简的功能,与Petrilab 1.0相比,Petrilab 2.0功能更强大,使用更方便。 本文所实现的软件原型能够对一个PN模型的各种静态特征和动态的行为特征进行详细的分析,如对活性、情态集、混惑、S_不变量、T_不变量等进行分析,同时还可方便地对基本网系统和自控网系统进行建模与仿真。经过对原型系统进行全面的软件测试及运行调试,实验结果表明,系统运行稳定可靠,建模仿真方便快捷,分析结果准确无误,与同类产品相比,本文实现的Petri网仿真软件功能更为完善。 该软件原型目前适用于EN系统、P/T系统、时间Petri网以及自控网系统(包括带约束弧和不带约束弧的两种自控网)。
【学位授予单位】:长沙理工大学
【学位级别】:硕士
【学位授予年份】:2007
【分类号】:TP391.9

【相似文献】
中国期刊全文数据库 前10条
1 Peler Welander;;仿真软件在工厂现场级的应用[J];软件;2010年07期
2 包得海;赵海阔;;Petri网在旅游管理系统中的应用[J];陇东学院学报;2011年04期
3 周斌;;“Problem of Towers of Hanoi”仿真软件的设计[J];实验室研究与探索;2011年07期
4 蒋鸣东;;基于Proteus的单片机动态显示仿真设计[J];科技经济市场;2011年06期
5 许燕萍;;基于Proteus的单片机教学研究[J];科技信息;2011年15期
6 董振华;董笑菊;;有界Petri网的进程演算表达[J];上海交通大学学报;2011年07期
7 郭铃;;刍议仿真软件在数控编程教学中的应用[J];海峡科学;2011年05期
8 霍敏霞;丁晓明;;基于Petri网的并发程序测试用例产生方法[J];计算机科学;2011年09期
9 喻平;曹继平;宋建社;梁中雨;;基于Petri网的系统最小割集求解[J];系统仿真技术;2011年02期
10 陈淑平;程勇;;仿真软件在数字电路教学中的应用[J];科技创新导报;2011年22期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 侯立文;蒋馥;;客户忠诚度提升决策研究[A];2004年中国管理科学学术会议论文集[C];2004年
6 乔非;吴启迪;沈荣芳;;基于Petri网的事务流程模型[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
7 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 胡红革;黄大贵;谢阅;;混和系统Petri网模型的行为特性及判定方法[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
9 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国重要报纸全文数据库 前10条
1 国良;“中大型空调专业仿真软件”开发成功[N];中华建筑报;2003年
2 马扬;我国自主研发的汽车仿真软件将正式进军全球市场[N];中国质量报;2006年
3 徐昕;用仿真技术省钱[N];中国计算机报;2006年
4 周志;数控加工仿真软件在教学中的应用[N];莱芜日报;2008年
5 本报记者  霍峰;仿真软件可模拟电力工程建设现场[N];青岛日报;2006年
6 本报记者 杨婧瀚 特约记者 刘志平 武英俊 熊辉;引进技术为我所用[N];石油管道报;2007年
7 本报记者 杨晓丹 通讯员 刘冬琪 张红频;砥砺金牌蓝领的“实战场”[N];中国石化报;2009年
8 天津 马香;电路分析与仿真软件PROTEUS的操作及应用(二)[N];电子报;2006年
9 清华大学微电子学研究所 张文俊 刘涛 余志平;RF电路设计工具中的关键技术[N];计算机世界;2005年
10 合肥物价学校 张波;利用Pspice参数扫描功能设计元器件的参数[N];电子报;2006年
中国博士学位论文全文数据库 前10条
1 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
2 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
3 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
4 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
5 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
6 周荣辅;基于先进制造技术的制造业生产流程再造研究[D];燕山大学;2007年
7 王占中;基于Petri网的多式联运流程优化研究[D];吉林大学;2007年
8 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
9 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
10 田世海;高技术虚拟企业信息系统平台研究[D];哈尔滨理工大学;2008年
中国硕士学位论文全文数据库 前10条
1 卞荣花;总装配线物流系统平衡与投产优化[D];南京林业大学;2009年
2 刘惠玲;基于Petri网的生产物流系统建模与仿真[D];北京交通大学;2008年
3 汪佳;某转向器制造企业生产物流系统仿真研究[D];南京理工大学;2008年
4 吴琼;NCOW系统中基于概率的赋时Petri网理论及分析[D];华中科技大学;2006年
5 赵凤阳;基于Petri网方法的网络流量分析及仿真研究[D];南京理工大学;2005年
6 宫茜;电子商务下物流配送业务流程优化与仿真研究[D];大连海事大学;2008年
7 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年
8 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
9 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
10 秦巧妹;安阳供电公司业扩报装流程再造研究[D];华北电力大学(北京);2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026