针对装备综合保障工作流建模要求,构建了对象有色Petri网(Object-Oriented Colored Petri Net,OCPN)模型,给出该模型的形式化定义.结合装备使用过程综合保障工作,建立基于OCPN的工作流模型.根据工作流的执行过程,进行了工作流引擎体系结构以及相关类的设计,为工作流模型的计算机化以及工作流管理系统设计与实现提供了一种新的思路.
对象有色Petri网 综合保障 工作流模型 引擎设计