Dynamic Verification of an Object-Rule Knowledge Base Using Colored Petri Nets
C. Tadj, T. Laroussi