收藏本站
《山东科技大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于层次颜色Petri网的协同工作流的建模与分析

吕楠  
【摘要】:随着企业间竞争的日趋激烈和业务环境的不断变化,人们对业务流程管理的可靠性和正确性要求越来越高。实现一个具有可靠性、高度灵活性、动态性和高性能的工作流系统的主要途径之一就是工作流建模。它将业务过程逻辑从实际系统中分离出来,从而实现了对过程建模、仿真和分析的目的。随着工作流技术的发展,工作流模型越来越具有并发、动态和复杂等特点,这给传统的工作流建模方法像UML图和基本Petri网等带来了很大的挑战。基于工作流规模大、模型复杂以及资源繁多等情况,我们在基本Petri网的基础上进行层次扩展和颜色扩展,得到层次颜色Petri网(HCPN)来描述流程信息。层次颜色Petri网(HCPN)由于颜色和分层技术的引入以及相应功能强大的建模软件CPN-Tools的支持,使其在工作流建模领域有了广泛的应用。 本文以山东省青岛疗养院的医疗信息化服务系统作为参照实例,基于层次颜色Petri网进行建模。在深入研究国内外工作流Petri网建模方法基础上,提出了基于HCPN的协同工作流建模算法,构建了医疗信息化服务协同工作流的HCPN模型,并且对该模型进行了正确性验证和性质分析,同时利用CPN-Tools进行仿真,通过对仿真结果的分析可以证明我们建立的模型是可行和有效的,这也为疗养院下一步建立流程系统提供了一定的理论基础和模型依据。 本文主要工作如下: ●介绍了工作流和Petri网的相关知识,讨论了Petri网在工作流建模中的优势,给出了基于Petri网的协同工作流建模方法。 ●阐述了颜色Petri网和层次颜色Petri网的概念,总结了层次颜色Petri网的图形表示、运行规则和性质分析。 ●结合山东省青岛疗养院医疗服务实例给出了基于层次颜色Petri网的协同工作流建模算法,并基于该算法对该实例构建了HCPN模型和对模型进行了静态和动态性质分析。 ●利用仿真工具CPN-Tools对模型进行仿真分析,仿真结果表示该模型是可行的,对实际系统的建立有一定的意义。
【学位授予单位】:山东科技大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP311.52

知网文化
【参考文献】
中国期刊全文数据库 前10条
1 刘君;黄樱;陈敏;;基于Petri网的项目审批建模分析[J];福建电脑;2008年08期
2 张志君,范玉顺;WPDL规范化工作流模型研究[J];计算机工程与应用;2002年17期
3 韩耀军;;网格计算资源调度的层次Petri网建模与分析[J];计算机科学;2006年04期
4 范玉顺,吴澄;工作流管理技术研究与产品现状及发展趋势[J];计算机集成制造系统-CIMS;2000年01期
5 汪涛,黄力芹,吴耿锋;工作流管理的发展历程和趋势[J];计算机工程与科学;2001年01期
6 曾炜,阎保平;工作流模型研究综述[J];计算机应用研究;2005年05期
7 陈伟;文东戈;王昊;;层次颜色工作流Petri网建模与应用[J];计算机技术与发展;2009年01期
8 张朝辉;刘大有;刘伟江;;工作流建模技术综述[J];微电子学与计算机;2008年10期
9 汪文元;沙基昌;谭东风;;基于Petri网和UML活动图工作流建模比较[J];系统仿真学报;2006年02期
10 伍宏伟;杨东;;基于赋时层次有色Petri网的医疗服务流程建模与优化[J];系统仿真学报;2007年08期
中国硕士学位论文全文数据库 前3条
1 于庚;面向虚拟企业的工作流建模与正确性验证[D];山东大学;2005年
2 万和平;工作流Petri网模型建模与分析评价方法研究[D];华中科技大学;2005年
3 张乐伟;基于赋时分层着色Petri网的工作流建模与性能评价[D];中国石油大学;2009年
【共引文献】
中国期刊全文数据库 前10条
1 邹海;储德新;高顺利;;基于Petri网的工作流建模与分析[J];安徽大学学报(自然科学版);2011年02期
2 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
3 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
4 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
5 姜朋慧,姜志红,须德;工作流系统中路由图构造问题[J];北方交通大学学报;2000年06期
6 王俊涛;郑志静;王新庄;;基于工作流的电视台设备管理系统[J];办公自动化;2007年22期
7 王娜;罗小明;;基于模糊Petri网的推理算法在C~4ISR系统效能评估中的应用[J];兵工自动化;2008年05期
8 宋朝河;戴羽;;基于面向对象Petri网的侦察配系评估模型[J];兵工自动化;2009年04期
9 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期
10 刘学程;张乾;蔡强;王骏;陈煜;;基于CPN的维修保障资源配置建模与仿真方法[J];兵工自动化;2009年09期
中国重要会议论文全文数据库 前10条
1 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
2 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
3 周江辉;尉斌;程文倩;;基于DO-178B的软件开发过程模型的研究[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年
4 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
5 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
6 许盛伟;钟耳顺;宫辉力;;面向网络的GIS与办公自动化集成模式探讨[A];中国地理信息系统协会第三次代表大会暨第七届年会论文集[C];2003年
7 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
8 ;Development of Equipment Command Office Federate Based on Workflow Management Software[A];Proceedings of the 2011 Chinese Control and Decision Conference(CCDC)[C];2011年
9 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
10 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
3 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
4 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
5 吴修国;面向目标的迁移工作流建模方法研究[D];山东大学;2010年
6 梅樱;城轨车辆新型网络控制系统的调度、建模及优化[D];北京交通大学;2011年
7 陈辉;控制网络节点通信协议栈可重构自组织研究[D];华中科技大学;2011年
8 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
9 吴镝;面向RP领域的Web服务自主组建方法研究与应用[D];上海大学;2011年
10 李宪华;服务机器人双臂协作技术研究及实现[D];上海大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
3 胡晓文;基于Petri网的非确定工作流的时间和资源管理问题研究[D];山东科技大学;2010年
4 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
5 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
6 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
7 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
8 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
9 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
10 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 汪亚男,王明哲;赋时着色Petri网在建模仿真中的应用[J];兵工自动化;2005年01期
2 陈翔,夏国平,李涛;基于Petri网的工作流模型合理性研究[J];北京理工大学学报;2004年12期
3 刘玥波,索东梅;工作流技术及建模方法研究[J];长春师范学院学报;2005年07期
4 房平,费树岷;虚拟企业的目标管理模式探讨[J];东南大学学报(哲学社会科学版);2003年03期
5 齐祺;杨路明;;基于Web服务的工作流事务处理研究[J];电脑与信息技术;2007年01期
6 刘婷,林闯,刘卫东;基于时间Petri网的工作流系统模型的线性推理[J];电子学报;2002年02期
7 林闯,李雅娟,王忠民;性能评价形式化方法的现状和发展[J];电子学报;2002年S1期
8 林瑜;;基于Petri网的城市交通控制混合系统模型[J];系统工程;2007年03期
9 杨昌辉,梁昌勇;虚拟企业的构建与协调[J];合肥工业大学学报(自然科学版);2003年S1期
10 宁宁,任建华;流程再造理论在医院管理中的应用及探讨[J];解放军护理杂志;2005年03期
中国博士学位论文全文数据库 前1条
1 肖郑进;面向企业应用的工作流精简建模研究[D];浙江大学;2006年
中国硕士学位论文全文数据库 前1条
1 万和平;工作流Petri网模型建模与分析评价方法研究[D];华中科技大学;2005年
【相似文献】
中国期刊全文数据库 前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网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
2 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
3 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
4 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
5 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
6 王小梅;李新明;刘东;韩星晔;;基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
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];计算机世界;2002年
3 李春喜;汤姆逊要做消费电子中国魁首[N];中国计算机报;2003年
4 陈列欢;高剂量疗法可治红斑狼疮[N];医药经济报;2003年
5 金华;微软X#的一些推测[N];中国计算机报;2003年
6 陈秉林;美国汽车旅游的启示[N];中国旅游报;2003年
7 ;点击科技:扩展协同应用[N];中国计算机报;2004年
8 ;厂商全方位备战3G[N];计算机世界;2004年
9 略雨 编译;超越历史尘封的永恒[N];中国商报;2001年
10 西安协同数码股份有限公司 李伟宏;SynchroFLOW“协同”陕西移动[N];计算机世界;2002年
中国博士学位论文全文数据库 前10条
1 李绍勇;基于信标迭代控制的Petri网死锁预防策略[D];西安电子科技大学;2011年
2 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
3 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
4 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
5 李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;2012年
6 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
7 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
8 王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;2012年
9 秦萌;存在不可控与不可观变迁的Petri网活性控制器设计[D];西安电子科技大学;2011年
10 胡核算;自动制造系统的Petri网控制器设计及优化[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
2 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
3 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
4 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
5 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
6 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
7 赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
8 李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
9 高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
10 赵珊;基于UML和Petri网模型验证框架的设计与实现[D];西安建筑科技大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026