Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net - Saeid Pashazadeh; Maryam Pashazadeh (CoRR, 2012)