收藏本站
收藏 | 论文排版

基于高级Petri网的住院医师培训工作流系统建模与实现

杨雪  
【摘要】: 目前,政府机构及企事业单位都呈现出从以人力为主的办公模式到以工作流技术为中心的自动化办公模式的转变趋势,工作流管理系统实现了企业业务流程自动化管理,提高企业的工作效率和工作质量。为使住院医师培训系统能够协调并发运行,流程步骤能够正确无误执行,需要一种有效的、形式化的建模技术为系统构建模型。形式化建模方法可对模型进行清晰、易懂、无二义性的定义和形式化分析。Petri网是作为研究离散、并发系统的有力工具,是最主要的工作流建模和分析方法。 研究了高级Petri网的工作流建模及分析方法、工作流模型的描述及实现方法,并详细描述了住院医师工作流系统的建模-分析-实现完整的开发过程。在工作流建模方面,将高级Petri网的颜色扩展技术和跨组织Petri网技术相结合的综合建模技术为系统建模,并通过对称库所和变迁合并过程推导出初级颜色集合,实现了从传统Petri网到高级Petri网模型的稳步过度。在验证模型性能方面,给出了分级验证法验证跨组织结构模型性能。组织内采用不变量验证法验证合理性;组织问采用归约-可达图方法验证关联关系可达性。最后在模型描述方面,给出一种前驱-后继编码描述法描述Petri网模型,将形式化的Petri网图形转变为规则性编码,以XML文件描述各个节点的属性,使Petri网模型在住院医师培训系统中得到实际应用。 采用着色跨组织高级Petri网建模技术为住院医师培训系统构建模型提高了住院医师培训系统的执行效率;并通过不变量法和归约-可达图法验证法确保了组织内部和组织间无死锁,从而实现培训计划准确无误的进行。


知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 邱静,彭智华,温熙森,唐丙阳;柔性加工单元故障诊断的模糊Petri网模型[J];国防科技大学学报;1996年02期
12 陈为雄;基于Petri Nets的BDI Agent模型[J];计算机工程;2005年03期
13 张学惠,韩永飞;计算并行性的研究和描述[J];吉林大学学报(理学版);1992年03期
14 闵光太;过程建模的Petri网模型[J];广西工学院学报;2000年04期
15 王生举,周培景;Petri 网中寻找流程的方法[J];计算机应用;1990年04期
16 宋贤钧;王炳鹏;郭佳;;基于WF-net的工作流建模技术及应用[J];计算机科学;2006年04期
17 盛昭瀚,张传芹;基于Web的工作流管理系统及企业应用集成技术研究[J];系统工程理论与实践;2002年10期
18 卢正鼎,汪涛,曹化工,杨曼红,潘玲;面向并行工程的产品设计过程管理的抽象模型[J];计算机辅助设计与图形学学报;2000年02期
19 文远保,王瑜坤,陆建东;随机PETRI NET在可靠度估算中的应用[J];计算机工程与应用;1995年06期
20 刘宏,李志武,叶尚辉;FMS的一种实时控制Petri网模型及应用[J];西安电子科技大学学报;1997年02期
中国重要会议论文全文数据库 前10条
1 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
2 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
3 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
4 高德平;周国祥;;基于着色Petri网的工作流模型的研究与应用[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
5 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
6 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
7 王小梅;李新明;刘东;韩星晔;;基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
8 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
9 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
10 张春雷;孙志挥;陈淼;;一种基于PETRI高级网的工作流动态建模方法[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
中国博士学位论文全文数据库 前10条
1 李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;2012年
2 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
3 李绍勇;基于信标迭代控制的Petri网死锁预防策略[D];西安电子科技大学;2011年
4 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
5 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
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];北方工业大学;2010年
4 虞甲;基于时间Petri网的工作流模型研究[D];浙江工商大学;2010年
5 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
6 万超;基于Petri网的工作流引擎的设计与实现[D];华南理工大学;2010年
7 刘晓冬;基于Petri-net的BPEL建模方法研究[D];云南大学;2010年
8 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
9 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
10 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
中国重要报纸全文数据库 前10条
1 ;值得注意的免费安全工具[N];网络世界;2004年
2 ;《工作流管理——模型、方法和系统》出版[N];中华读书报;2004年
3 蒋明炜 戴宝纯 吴英;工作流管理使企业系统实现集成[N];中国乡镇企业报;2004年
4 李春喜;汤姆逊要做消费电子中国魁首[N];中国计算机报;2003年
5 陈列欢;高剂量疗法可治红斑狼疮[N];医药经济报;2003年
6 何进伟;还工作流管理一个说法[N];中国计算机报;2003年
7 蒋明炜、戴宝纯、吴英;工作流管理与ERP的应用[N];中国计算机报;2003年
8 记者 朱冰;北京大学提出工作流的三层模型[N];中国高新技术产业导报;2007年
9 工作流资深专家 刘航;中国企业迈向流程公司的十个路标[N];中国计算机报;2007年
10 朱静芬;CRM与ERP的整合[N];财会信报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978