医疗信息系统工作流的Petri网建模与化简分析

摘要：

应用 Petri网建模与工作流技术,构建了基于医疗信息整合(IHE)规范的医疗信息系统工作流的Petri网模型,并对一个医疗信息系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对医疗信息工作流进行有效的分析和验证,从而为医疗信息系统集成设计及其工作流分析提供了理论基础.

关键词：Petri网、工作流、信息系统、集成、IHE

所属期刊栏目：16

分类号：TN91

资助基金：中国科学院资助项目60125205;60534060;上海市科研项目03JC14071

在线出版日期：2006-08-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：551-555