Modeling and Resolving Inheritance Anomaly with Colored Petri Nets