Verification of active rule base via conditional colored Petri nets

Active rules are widely used in modern reactive software systems, such as active data base management systems, smart homes, etc. Determining if an active rule base is free of errors is an important process for both rule base design and maintenance. In this paper, we originally define the basic errors in an active rule-based system by extending the conceptions which are used generally in production rule base. Furthermore, a Petri net-based approach is proposed for active rule-base verification. An example on smart homes design is used as an application.