A Petri Net-Based Metric for Active Rule Validation

Active rules are the mechanism by which some systems can behave automatically. Rule validation is a mandatory step to guarantee those systems work properly. One of the most used validation techniques is based on test cases. In this paper we introduce a new metric through the Conditional Colored Petri Net model of the rule base, to determine the number of test cases.