收藏本站
《电子科技大学》 2013年
收藏 | 手机打开
二维码
手机客户端打开本文

Petri网分析软件设计与实现

刘军  
【摘要】:近年来,Petri网理论开始应用于各种测试系统的建模分析之中,如航空发动机的压力测试系统建模分析,由于航空实验的特殊性,压力测试需要测量的测试点很多,测试系统复杂,所以建立的Petri网模型也比较复杂。 随着Petri网结构的复杂化,传统的手工分析与计算已经不能适应实际系统的分析需要,因而大力开发Petri网建模软件工具,对于深化与扩展Petri网的应用和发展很有帮助。本文针对国内外Petri网建模与分析软件的现状以及测试系统中Petri网进行系统性能分析的实际需要,借助于可视化开发环境Visua1Studio2010与C#4.0编程语言,设计开发了Petri网建模分析软件工具。 首先,本文详细论述了Petri网基本理论,包括Petri网的定义与运行规则、Petri网的基本性质和Petri网分析方法。 然后,本文对Petri网建模软件进行了需求分析,并设计了软件的整体框架,进而确定了在.NET4.0框架类库下,利用C#语言实现Petri网建模软件工具的设计方案。本软件具有良好的人机交互界面,用户可以通过设置输入参数来实现Petri网模型的图形化、生成Petri网运行过程状态表、可达树和Petri网模型的性能分析与计算等工作。在生成状态运行过程表当中,用到了队列Queue、字典集合Dictionary和列表List等泛型集合类,同时利用图的广度优先搜索算法实现了运行状态过程表;基于运行状态表,生成了Petri网模型的可达树。随后,实现了对基本Petri网,时间Petri网,随机Petri网的基于可达树与可达图的性能分析,给出了随机Petri网的马尔科夫链和稳态概率。最后,以一个实际的例子对本建模软件的建模流程做了说明,并验证了多通道压力测试系统的SPN模型,证明了该建模软件的正确性和实用性。
【学位授予单位】:电子科技大学
【学位级别】:硕士
【学位授予年份】:2013
【分类号】:TP301.1;TP311.52

【参考文献】
中国期刊全文数据库 前6条
1 谢楠;李爱平;尤建新;;支持混流生产的可重组逻辑控制器设计方法[J];计算机集成制造系统;2008年05期
2 杨玉梅;;面向对象petri网在系统建模中的应用[J];内江科技;2007年01期
3 胡家宝;;Petri网的可达树分析法及其应用研究[J];计算机科学;1993年01期
4 蒋昌俊,疏松桂,郑应平;随机Petri网同步并发行为的定量分析方法[J];通信学报;1995年01期
5 董天旭;王冰峰;;分立元件自动测试仪图形化编程的实现[J];电子测试;2011年11期
6 胡瑜,陈光(礻禹);GPIB高速数据传输协议的Petri网模型及分析[J];仪器仪表学报;2003年S2期
中国博士学位论文全文数据库 前2条
1 洪国彬;基于随机Petri网的企业业务流程重组的理论与优化方法研究[D];天津大学;2003年
2 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
中国硕士学位论文全文数据库 前8条
1 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
2 徐超;随机Petri网可视化分析软件系统的设计[D];天津大学;2003年
3 张建朝;扩展类型Petri网应用系统的研究[D];北京化工大学;2004年
4 蔡志林;Petri网建模工具软件的研究与实现[D];长沙理工大学;2005年
5 靳亚铭;基于Petri网的化工生产开停车过程研究[D];北京化工大学;2006年
6 谭丹;Petri网仿真软件的研究与开发[D];长沙理工大学;2007年
7 郭流洋;基于Pro/Engineer的某雷达天线结构虚拟样机技术研究[D];西安电子科技大学;2009年
8 赵涛;多通道压力测试系统petri网建模及其性能分析[D];电子科技大学;2012年
【共引文献】
中国期刊全文数据库 前10条
1 翟葵,朱军;抢占优先级业务量链路性能评价[J];安徽电子信息职业技术学院学报;2005年02期
2 李俊;陈雷雷;金淑芳;;水产品加工过程监控系统构建与实现[J];安徽农业科学;2009年23期
3 王永翔;王立德;;基于广义随机Petri网的MVB网络吞吐性能分析[J];北京交通大学学报;2008年05期
4 李忠儒;;网络测试与评价的研究现状及意义[J];办公自动化;2009年10期
5 宋朝河;戴羽;;基于面向对象Petri网的侦察配系评估模型[J];兵工自动化;2009年04期
6 苏群星;刘鹏远;;大型复杂装备虚拟维修训练系统设计[J];兵工学报;2006年01期
7 李哲;洪志国;吕家国;;基于SPN的LEO卫星网络建模分析[J];中国传媒大学学报(自然科学版);2008年01期
8 张国军;何家兵;朱海平;;基于改进随机状态图的制造系统建模[J];北京工业大学学报;2006年08期
9 王海燕;王红军;卓奕君;;基于Petri网的底盘总装线人员配置优化研究[J];北京信息科技大学学报(自然科学版);2009年04期
10 周天然;宋丽茹;熊华钢;林强;;航空电子环境下FC网络的建模与仿真[J];北京航空航天大学学报;2008年10期
中国重要会议论文全文数据库 前10条
1 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
2 欧渊;黄万荣;杨晓;;基于DFSS的装备维修保障流程设计方法研究[A];全国先进制造技术高层论坛暨第九届制造业自动化与信息化技术研讨会论文集[C];2010年
3 保利勇;赵东风;丁洪伟;;双服务器异步控制策略轮询系统性能的近似算法分析[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
4 洪志国;石民勇;王永滨;;基于SPN模型的卫星网络中BGP-S协议的性能评价[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
5 李庆海;吴国伟;王清让;;西北750kV示范工程网络接入调试[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年
6 刘昶;史海波;;基于时间Petri网的制造过程模型研究[A];2008中国仪器仪表与测控技术进展大会论文集(Ⅲ)[C];2008年
7 毕军;王少萍;;面向任务的多武器系统平均修复时间模型[A];中国航空学会控制与应用第十二届学术年会论文集[C];2006年
8 唐伟强;刘文志;;基于Petri网的包子生产线模型建立与仿真分析[A];中国机械工程学会包装与食品工程分会2010年学术年会论文集[C];2010年
9 刘玉君;张帆;李瑞;;基于Petri网理论的造船项目工作流建模研究[A];2011中国造船工程学会造船工艺学术委员会造船企业精益生产学术研讨会论文集[C];2011年
10 段培明;刘文颖;岳宏亮;董世勇;凡鹏飞;;基于对象Petri网的电网调度操作票任务分解方法[A];中国高等学校电力系统及其自动化专业第二十四届学术年会论文集(中册)[C];2008年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 车建华;虚拟计算系统性能与可用性评测方法研究[D];浙江大学;2010年
3 郑霄;超级计算机系统的可用性评估研究[D];解放军信息工程大学;2009年
4 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年
5 杨斯淇;危险货物运输管理流程优化与系统实现[D];吉林大学;2011年
6 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
7 韩成果;基于业务流程优化的信息家电分销电子商务研究与应用[D];中国矿业大学(北京);2011年
8 查靓;精益生产方式下U型流水线平衡的优化模型与算法研究[D];华南理工大学;2011年
9 周航;基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究[D];南京航空航天大学;2009年
10 吴限德;快速响应小卫星测试理论与方法研究[D];哈尔滨工业大学;2010年
中国硕士学位论文全文数据库 前10条
1 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
2 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
3 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
4 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
5 马文涛;基于Web Services的工作流系统新模型的研究与实现[D];辽宁工程技术大学;2010年
6 刘石坚;面向对象模糊Petri网的理论及建模研究[D];长沙理工大学;2010年
7 陆洁;动态模糊Petri网理论及其应用研究[D];苏州大学;2010年
8 陶俊杰;基于供应链的敏捷物流系统Petri网建模与仿真[D];北京交通大学;2010年
9 王肖楠;高可靠性的容错组播路由算法研究[D];解放军信息工程大学;2010年
10 张娜;基于Token行为Petri网及其应用研究[D];沈阳大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 林宋;制造系统的Petri网建模[J];北方工业大学学报;2002年03期
2 王俊国,闽松,赵金,万淑芸;基于模糊Petri网的故障诊断方法[J];兵工自动化;2002年06期
3 任爱华,牛锦中,张永鸣;一种基于面向对象 Petri 网的并发程序建模方法[J];北京航空航天大学学报;1998年04期
4 高建平,陈宗基;混合系统的形式化验证[J];北京航空航天大学学报;1999年02期
5 张建朝,刘振娟,李宏光;Petri网图形建模仿真系统的研究与开发[J];北京化工大学学报(自然科学版);2004年02期
6 王环球,高金钟,许凤璋;基于Petri网的系统可靠性分析[J];北京轻工业学院学报;1998年02期
7 姜宏,莫秀玲;广义随机Petri网对交换机过载控制机理研究[J];长春邮电学院学报;2000年03期
8 姜宏,王万树;阻塞呼叫控制机理广义随机Petri网建模与分析[J];长春邮电学院学报;2000年04期
9 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
10 乐晓波,蔡志林;Petri网模型的程序仿真[J];长沙交通学院学报;2004年04期
中国博士学位论文全文数据库 前2条
1 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
2 廖伟志;混杂生产过程的混杂Petri网建模及分析技术研究[D];西安电子科技大学;2007年
中国硕士学位论文全文数据库 前9条
1 霍敏霞;基于Petri网的并发程序测试路径生成[D];西南大学;2011年
2 王志宏;基于MIL-STD-1553B总线的航空电子综合系统总线通讯研究[D];南京理工大学;2004年
3 许慎恒;毫米波单脉冲天馈系统研究[D];东南大学;2004年
4 何治斌;ARINC629航空通信总线数据收发装置开发研究[D];西北工业大学;2005年
5 钟文燕;铁路信号系统的Petri网建模与分析研究[D];西南交通大学;2005年
6 徐新;Petri网分析工具:PTAnalyser的设计与实现[D];大连理工大学;2006年
7 赖诚;多通道压力在线测试系统设计[D];西南交通大学;2005年
8 叶剑虹;Petri网的模拟与验证[D];西华大学;2006年
9 聂力;基于DIVISION的大型天线结构虚拟装配研究[D];西安电子科技大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 刘莉莉,傅铅生;应用Petri Net方法建模分析制造企业ERP的实施工程[J];航空工程与维修;2002年06期
2 谭宁;;基于Petri网的办公自动化系统结构模型设计[J];硅谷;2009年12期
3 林绍森;李晓兰;;采用Petri技术构建高校应急预案管理模型[J];硅谷;2010年24期
4 林群,关志超,杨东援;区域性枢纽城市物流公共信息平台体系结构Petri网研究[J];计算机工程与应用;2005年06期
5 郑怡文;;基于时延Petri网的肯定型工程关键工序的求解[J];福建电脑;2008年07期
6 刘峻;;药品批发分销网络的petri网建模[J];科学决策;2008年10期
7 赵相安;陈洪辉;何明;姜志平;;基于Petri网的武器装备体系能力需求仿真验证方法[J];系统仿真学报;2009年04期
8 王岚;张国宁;;维修保障仿真模型的HLA兼容性改造[J];计算机与网络;2009年19期
9 金涛;闻立杰;王建民;;行为因果关系的分类与判定[J];系统仿真学报;2011年S1期
10 修少驹;描述数字系统中并行过程与控制的理论模型——Petri-网[J];计算机工程与应用;1980年05期
中国重要会议论文全文数据库 前10条
1 王小梅;李新明;刘东;韩星晔;;基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
2 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
3 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
4 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
5 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
6 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
7 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
8 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
9 张春雷;孙志挥;陈淼;;一种基于PETRI高级网的工作流动态建模方法[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
10 刘玉君;张帆;李瑞;;基于Petri网理论的造船项目工作流建模研究[A];2011中国造船工程学会造船工艺学术委员会造船企业精益生产学术研讨会论文集[C];2011年
中国重要报纸全文数据库 前10条
1 ;值得注意的免费安全工具[N];网络世界;2004年
2 李春喜;汤姆逊要做消费电子中国魁首[N];中国计算机报;2003年
3 陈列欢;高剂量疗法可治红斑狼疮[N];医药经济报;2003年
4 金华;微软X#的一些推测[N];中国计算机报;2003年
5 陈秉林;美国汽车旅游的启示[N];中国旅游报;2003年
6 略雨 编译;超越历史尘封的永恒[N];中国商报;2001年
7 ;厂商全方位备战3G[N];计算机世界;2004年
8 黄梦/编译;小心行得万年船[N];电脑商报;2004年
9 修远;长城电脑与IBM建立合资企业[N];国际商报;2000年
10 千弼 君毅;为智能手机市场投下变量[N];电子资讯时报;2003年
中国博士学位论文全文数据库 前10条
1 李绍勇;基于信标迭代控制的Petri网死锁预防策略[D];西安电子科技大学;2011年
2 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
3 李凤英;Petri网的符号分析技术及其应用研究[D];西安电子科技大学;2011年
4 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
5 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
6 李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;2012年
7 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
8 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
9 王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;2012年
10 秦萌;存在不可控与不可观变迁的Petri网活性控制器设计[D];西安电子科技大学;2011年
中国硕士学位论文全文数据库 前10条
1 何鹏;基于随机Petri网的物流业务流程分析工具的研究与开发[D];武汉理工大学;2010年
2 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
3 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
4 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
5 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
6 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
7 胡正梁;基于Petri网的UML形式化研究[D];安徽大学;2010年
8 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
9 赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
10 李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026