In this paper, we propose a Petri nets formalism for the verification of rule-based systems. Typical structural errors in a rule-based system are redundancy, inconsistency, incompleteness, and circularity. Since our verification is based on Petri nets and
關聯:
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
