基于高级Petri网的住院医师培训工作流建模与分析
崔文成1
杨雪1
葛睿1
邵虹1
于淼2
1.沈阳工业大学,信息科学与工程学院,沈阳1108702.中国石油天然气管道局,第四工程分公司,河北,廊坊,065000
摘要：为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约-可达图法验证组织间关联关系的可达性.利用不变量法和归约-可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.
关键词：Petri网着色跨组织模型验证可达图不变量住院医师培训系统
分类号：TP391(计算技术、计算机技术)
资助基金：辽宁省自然科学基金(20072038)辽宁省教育厅科学研究项目(LS2010116)
论文发表日期：2010-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
英文信息