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

Petri网若干关键技术的研究及其应用

叶剑虹  
【摘要】: 随着计算机软件的飞速发展,提高软件开发的效率已成为一个非常重要的问题。采用形式化开发方法,不仅可以极大地减少软件设计早期的错误,缩短开发的总体时间,而且有利于开发人员之间的沟通,提高软件的可靠性。Petri网是形式化软件开发的重要方法之一。 Petri网是一种对系统软件形式化、图形化的描述和分析工具,具有直观、易懂和易用的优点。对于具有并发、异步、分布、并行、不确定和随机性的离散事件动态系统,都可以利用这种工具构建模型。通过对模型的进一步分析,即可得到有关系统静态结构和动态行为方面的信息,根据这些信息可以对要开发的系统进行评价和改进。 本文着重研究了Petri网的建模方法、分析技术及其在路由搜索算法中的应用,列出了目前该领域有待解决的一些问题,取得的主要研究结论如下: 第一,从理论上分析了不可见任务的功能,针对相应的类别给出检测方法,提出从日志中挖掘包含不可见任务工作流网的α#算法,该算法突破了对不可见任务的挖掘盲区,并已作为挖掘插件实现到开源的进程挖掘框架ProM当中,通过编写大量的人造日志并收集企业的实际日志,对算法进行了全面的实验评估。文章还对建模的另一个核心环节,建模语言进行了研究。针对BPMN目前存在较多模糊语法的情况,提出将BPMN转换成YAWL语言。转换不仅可令YAWL的分析工具和工作流引擎为BPMN服务,而且严格的YAWL语义能帮助BPMN消除二义性,有利于BPMN规范的进一步完善和改进。 第二,分析了目前现有的各种Petri网化简方法,首次将逻辑电路中成熟的技术应用在Petri网中,提出了一种新的基于逻辑代数的化简算法,将化简单位从单个元素扩展到无圈子网,提高了化简效率,并扩充了化简范围。本文还利用结构理论解决了结构活网到活系统的极小标识求解算法,并对Petri网的一类特殊性质:空标识可再生性进行了求证,解决了空标识可再生网在运算中的保持条件。这些结论在进程挖掘领域具有广阔的应用前景。 第三,提出了一种融合P2P和CDN优点的新型网络架构,将Petri网技术与蚁群算法相结合,给出了新型网络的最优选径算法。实验表明该模型及路由算法具有较高的稳定性和鲁棒性。
【学位授予单位】:电子科技大学
【学位级别】:博士
【学位授予年份】:2009
【分类号】:TP311.52

【相似文献】
中国期刊全文数据库 前10条
1 张耀鸿;兰庆伟;董崇慧;;组件化的变结构Petri网建模仿真方法[J];系统仿真学报;2011年S1期
2 包得海;赵海阔;;Petri网在旅游管理系统中的应用[J];陇东学院学报;2011年04期
3 黄晖;;需求信息管理的Petri网工作流模型[J];现代计算机(专业版);2011年14期
4 赵业清;朱道飞;王华;毕贵红;王建军;;基于Petri网和Agent的复杂适应系统建模[J];计算机工程;2011年15期
5 杨毅;杨新伦;;基于Petri网时间约束工作流的研究与应用[J];广西工学院学报;2011年02期
6 曲长征;于永利;;装备基本任务单元可用度Petri网仿真模型及应用[J];系统工程与电子技术;2011年06期
7 包云霞;鲁法明;;求取S-不变量基的新算法[J];系统仿真学报;2011年S1期
8 邵国荣;;面向对象建模方法比较研究[J];电脑知识与技术;2011年25期
9 董振华;董笑菊;;有界Petri网的进程演算表达[J];上海交通大学学报;2011年07期
10 霍敏霞;丁晓明;;基于Petri网的并发程序测试用例产生方法[J];计算机科学;2011年09期
中国重要会议论文全文数据库 前10条
1 贾国柱;;生产系统Petri网建模与仿真的优化方法[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
2 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
3 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
4 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
5 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
6 张朝辉;刘大有;刘伟江;;工作流建模技术综述[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
7 童朝南;李宝峰;;电梯群控系统的Petri网建模与分析[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
8 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
9 董志林;查建中;郭伟;王凤岐;;企业重组实施与建模方法的研究[A];1998中国控制与决策学术年会论文集[C];1998年
10 侯立文;蒋馥;;客户忠诚度提升决策研究[A];2004年中国管理科学学术会议论文集[C];2004年
中国重要报纸全文数据库 前10条
1 北京信息与控制研究所 王正中;仿真学科的研究与思考[N];大众科技报;2007年
2 清华大学电子工程系 罗嵘;片上系统EDA的建模方法[N];计算机世界;2005年
3 付宇焜;夹层建模处理[N];建筑时报;2007年
4 特约撰稿 杨文嘉;从“过程模块化”到“数据模块化”[N];民营经济报;2007年
5 国防大学 司光亚罗批 胡晓峰;主体技术 助力军事系统建模仿真[N];计算机世界;2007年
6 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
7 ;趁热批发[N];科技日报;2005年
8 ;“精确种田”值得推广[N];陕西科技报;2007年
9 张超;让北京发展一目了然[N];科技日报;2005年
10 李祖诗通讯员 王霞;油气储层的“定位仪”[N];中国石化报;2007年
中国博士学位论文全文数据库 前10条
1 叶剑虹;Petri网若干关键技术的研究及其应用[D];电子科技大学;2009年
2 冯晓宁;基于本体的语义Petri网研究及其在系统建模中的应用[D];哈尔滨工程大学;2009年
3 郭军;基于Petri网的嵌入式系统高层级设计方法与技术研究[D];西北大学;2007年
4 卢雷;基于OOCPN的软件可执行模型建模方法的研究[D];山东大学;2011年
5 田世海;高技术虚拟企业信息系统平台研究[D];哈尔滨理工大学;2008年
6 张晓峰;可重构智能制造系统的基础研究[D];南京航空航天大学;2001年
7 马敏;并行多任务自动测试系统分层化建模及其关键技术研究[D];电子科技大学;2008年
8 熊晶;海洋生态本体的建模方法研究及应用[D];中国海洋大学;2010年
9 杨柳;模糊本体建模方法及语义信息处理策略研究[D];中南大学;2011年
10 肖郑进;面向企业应用的工作流精简建模研究[D];浙江大学;2006年
中国硕士学位论文全文数据库 前10条
1 张琪;基于Petri网的工作流管理系统组件的设计与开发[D];东南大学;2006年
2 李玲琳;一种改进的工作流模型的研究与实现[D];中南大学;2006年
3 王小艳;基于Petri网的建模方法在叶片业务流程重组中的应用[D];西北工业大学;2006年
4 许令波;基于高级Petri网的工作流系统模型的研究[D];合肥工业大学;2009年
5 廖晓文;基于UML与Petri网的嵌入式系统建模方法的研究[D];广东工业大学;2005年
6 刘明珠;基于Petri网的工作流建模及分析方法的研究[D];长春理工大学;2007年
7 邵明习;基于AutoMod的物流配送中心的建模与仿真[D];南京林业大学;2006年
8 胡辉;业务流程再造(BPR)理论与系统建模仿真研究[D];西安电子科技大学;2005年
9 许娜;业务规则提取建模及应用研究[D];山东大学;2007年
10 曾艳林;基于Petri网的工作流过程建模的研究[D];大连海事大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026