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

闫春钢等：医疗信息系统工作流的Petri 网建模与化简分析 医疗信息系统工作流的Petri 网建模与化简分析! ! 。 。 。。 。 。。。 。 闫春钢 蒋昌俊 史有群 丁志军 李启炎 。 （ 同济大学电子与信息工程学院 上海 200092 ） 。。 （ 东华大学计算机学院 上海 20005l） 。。。 （ 山东科技大学信息科学与工程学院 青岛2665l0 ） 摘 要 应用 网建模与工作流技术，构建了基于医疗信息整合（ ）规范的医疗信 Petri IHE 息系统工作流的Petri 网模型，并对一个医疗信息系统工作流实例，给出了基于 Petri 网化 简分析方法的模型化简与性质验证，表明该模型能够对医疗信息工作流进行有效的分析 和验证，从而为医疗信息系统集成设计及其工作流分析提供了理论基础。 关键词 Petri 网，工作流，信息系统，集成，IHE 的建模和验证分析技术作为理论支撑，这方面的研 0 引 言 究尚不多见。Petri 网具有图形化表达的形式化语 义、基于状态和行为的流程描述及丰富的模型分析 ［］ l 方法等特点，因而非常适合于工作流的建模及其分 医疗信息整合（ ） 是 由北美放射学会 IHE ［ ］ （ ）和健康护理信息与管理系统学会（ ）联 析 4-6 。这其中，以荷兰学者 RSNA HMSS W . M . P Van der AaIst 合发起的，是医学专家和信息专家为了促进医疗信 的工作最为突出。他定义了基于 Petri 网的工作流 息共享而制定的一种开放的、标准化的新规范。目 系统的形式化模型———工作流网，并研究了基于工 前在国际上已为众多厂家和系统广泛接受。 作流网的分析和验证技术，建立了网性质和工作流 IHE 是为实现医疗信息全面集成而制定的一种 性质之间的对应关系，大大推动了基于 Petri 网的工 ［］ 信息共享框架。由于医疗信息的复杂性和多样性， 作流建模及其分析等方面的工作 7 。在上述工作的 在一个医院里往往存在着多个异构的信息系统，其 基础上，本文将工作流网模型应用到医疗信息系统 中有三个主要系统，分别是医院信息系统（ ）、放 中，建立了 框架和 网之间的映射关系，提 HIS IHE