Knowledge Verification Model and Method for the Knowledge Base of Concurrent Engineering
面向并行工程的知识库校验模型与方法研究

Knowledge management is important to the whole concurrent engineering. We have a research on the domain knowledge analysis and verification,which is the grounded part of the knowledge management in the concurrent engineering. We introduced a high-level Petri net model for modeling and verification domain knowledge,which can detect the abnormities,such as redundancy,conflict of the knowledge base effectually.