IHE集成模式的Petri网建模

为了高效地实现采用集成化医疗卫生企业(IHE)技术框架的医疗信息的集成,解决医疗信息系统间的互操作性问题,建立了IHE集成模式和Petri网之间的映射关系,进而构建了基于Petri网的IHE集成模式的工作流模型。利用Java语言开发的开源软件平台独立的Petri网编辑器(PIPE2),生成了系统Petri网模型的可达图,为进一步分析模型的动态性质并验证系统的正确性奠定了基础。