Petri based analysis method for active database rules | IEEE Conference Publication | IEEE Xplore