【摘 要】
：
为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法
【机 构】
：
沈阳工业大学信息科学与工程学院,中国石油天然气管道局第四工程分公司
论文部分内容阅读
为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.
其他文献
<正>今年"两会",关于建筑业发展的声音很多。政府工作报告为建筑业发展增加动能、利好不断。代表委员们关于建筑业发展的建议也屡屡"刷屏",为治疗行业面临的种种"病症"开出一
目的:探讨糖尿病护理小组在2型糖尿病患者临床护理中的应用价值。方法:100例2型糖尿病患者根据数字表法随机分为2组,对照组(n=50例)采取常规护理干预措施,观察组(n=50例)在采
目的:观察辨证论治冠心病不稳定型心绞痛的疗效。方法:选择符合冠心病诊断标准的病例62例均采用中医辨证论治,以4周为1疗程,治疗前后观察病人心绞痛及伴随症状改善情况及心电
本文在综述近年来我国现代学校制度价值取向研究的基础上,提出了现代学校制度的新概念,建议应该充分地考虑我国的经济和教育发展不平衡的现实,把握现代学校制度的科学内涵。
《国际卫生条例(2005)》(IHR)是约束各国在面对国际关注的突发公共卫生事件时应采取的措施的一部国际性法规。IHR在全球各国的实施,虽然略有差别,但都能履行IHR框架规定的义
随着全球经济的下滑,航运市场持续在低位徘徊,船舶行业经济效益继续下滑,造船工业面临严酷的形势;近年来,国内各大船厂都加快了船舶建造的速度,尤其是船体建造方面,效率大幅
本文从财政专项资金项目的申报立项、资金流向、管理活动、制度运作、资金使用、效益产出等方面的审计探讨了财政专项资金效益审计的重点内容与方法,提出了开展财政专项资金
正电子发射断层扫描成像(positron emission tomography,PET)技术是一种对生化过程非常敏感的影像技术,它能够实现心血管疾病、肿瘤等重大疾病的病灶早期精确诊断。小动物PET
阿以冲突难以解决的关键是双方民族对同一块土地提出排他性的主权要求。事实证明，战争等手段并不能解决问题。只有双方采取务实态度，照顾双方的民族感情，互谅互让，才能实现政治解
澳大利亚是一个联邦制国家,由新南威尔士州、维多利亚州、昆士兰州、南澳大利亚州、西澳大利亚州、塔斯玛尼亚州6个州及北部地区和首都2个领地构成。澳大利亚联邦宪法于1901