Petri based analysis method for active database rules
Yin Guisheng, Qun Liu, Zhang Jianpei, Liu Jie, Liu Daxin · 2002
A method based on Petri net is presented for analyzing active database rules. Cyclic rule set, inconsistent rule set and contradictory rule set can be detected automatically by using Petri nets. These rule sets can be corrected or rearranged properly by the user in order to guarantee the system's termination, consistency and correctness.