Petri net-based representation of rules and verification of consistency

摘要

Presents the proposition for verification of consistency based upon an accurate Petri net built for rules using the reachability concept and status equation of Petri net, and illustrates the specific steps of this application with a typical example.