*For the most recent entries see the
Petri Nets Newsletter.*

## Rule base verification using Petri nets.

Yang, S.J.H.;
Lee, A.S.;
Chu, W.C.;
Yang, H.
In:
*Proc. 22-nd Annual Int. Computer Software and Applications Conf. (COMPSAC-98), 19-21 August 1998, Vienna, Austria*, pages 476-481.
1998.

Abstract:
This paper proposes a Petri net formalism for the verification of rule
based systems. Typica structural errors in a rule based system are
redundancy, inconsistency, and circularity. Since the verification is
proposed on Petri nets and their incidence matrix, the rules need to be
translated into a Petri net. In order to let a rule-based system be immune
from the above errors, it was observed that in all columns of the
incidence matrix, all positive entires must be above all negative entries.
Base on this observation, a tool was developed consisting of the following
four phases: rule normalization, rule ordering, rule-to-Petri-net
transformation, and rule verification. In phase one, rules are normalized
to Horn clauses. Normalized rules are reordered in phase two, and then
transformed into a Petri net and its corresponding incidence matrix, used
in phase four.

Keywords:
Petri nets, expert systems, rule verification, rule-based systems.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*