针对装备综合保障工作流建模要求,构建了对象有色Petri网（Object-Oriented Colored Petri Net,OCPN）模型,给出该模型的形式化定义。......

通过深入分析防空作战仿真系统,综合运用形式化和非形式化建模技术,提出了UML和对象有色Petri网相结合的防空作战仿真系统混合建模......

将面向对象的分析方法和有色Petri网相结合而得到的对象有色Petri网(OCPN),将会为研究舰载C3I系统提供一种有力的工具.通过分析舰......

Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of autom......

在对象有色Petri网的基础上,引入知识库、目标库和规划模块,提出一种基于Agent的对象有色Petri网模型。以一个制造单元为例,介绍了......