您的位置: 专家智库 > >

葛睿

作品数:1 被引量:1H指数:1
供职机构:沈阳工业大学信息科学与工程学院更多>>
发文基金:辽宁省自然科学基金辽宁省教育厅高等学校科学研究项目更多>>
相关领域:医药卫生更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇医药卫生

主题

  • 1篇医师
  • 1篇住院医师
  • 1篇可达图
  • 1篇高级PETR...
  • 1篇不变量
  • 1篇PETRI网

机构

  • 1篇沈阳工业大学
  • 1篇中国石油天然...

作者

  • 1篇邵虹
  • 1篇杨雪
  • 1篇葛睿
  • 1篇崔文成
  • 1篇于淼

传媒

  • 1篇沈阳工业大学...

年份

  • 1篇2010
1 条 记 录,以下是 1-1
排序方式:
基于高级Petri网的住院医师培训工作流建模与分析被引量:1
2010年
为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.
崔文成杨雪葛睿邵虹于淼
关键词:PETRI网可达图不变量
共1页<1>
聚类工具0