Enhanced High-level Petri Net Based Knowledge Verification for the Rule-based System

• 基于增强高级Petri网的规则系统一致性问题检查