An application of conditional colored Petri nets: active database system | IEEE Conference Publication | IEEE Xplore