In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 1, pages 860-865. 1999.
Abstract: A new scheme for verifying rule-based systems using Petri nets is proposed in this paper. A simple method of detecting structural errors in rule-based systems using T-invariants is discussed. Some reasoning processes are regarded as series of rules, which are represented by sets of T-invariants. These sets are used for detecting structural errors in the sets of rules.
Keywords: Petri nets, rule-based systems, verification.