摘要：主要研究并行工程知识管理中底层领域知识的分析和验证问题．将Petri网技术应用于领域知识库的建模和分析，基于高级网系统给出了知识库各种异常现象(包括：规则冗余、规则冲突、循环规则等)检测的建模技术和验证方法．

关键词：并行工程 知识管理 领域知识 验证 petri网 

单位：上海交通大学应用数学系上海200030; 山东科技大学计算机系山东泰安271019; 上海交通大学应用数学系上海200030山东科技大学计算机系; 山东泰安271019