摘要
应用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.
出处
《高技术通讯》
CAS
CSCD
北大核心
2006年第6期551-555,共5页
Chinese High Technology Letters
基金
国家自然科学基金（60125205,60534060）、上海重点科研计划项目基金（03JC14071）资助项目.
