欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
应用Petri网建模与工作流技术，构建了基于医疗信息整合（IHE）规范的医疗信息系统工作流的Petri网模型，并对一个医疗信息系统工作流实例，给出了基于Petri网化简分析方法的模型化简与性质验证，表明该模型能够对医疗信息工作流进行有效的分析和验证，从而为医疗信息系统集成设计及其工作流分析提供了理论基础。
英文摘要：
This paper aims at building an IHE-based healthcare information workflow system model with Petri net. Model reduction and properties verification based on Petri net reduction are presented for a healthcare information system workflow instance. The research result indicates the model can effectively analyze and verify a healthcare information workflow system. Thus it enriches theory on design and workflow analysis in healthcare information system integration.
同期刊论文项目
同项目期刊论文
期刊信息
位置：