An application of conditional colored Petri nets: active database system. - Xiaoou Li; Sergio V. Chapa; Joselito Medina-Marín; Jovita Martinez (SMC (5), 2004)