Bhushan Bauskar Boleslaw Mikolajczak Modeling and Resolving Inheritance Anomaly with Colored Petri Nets. 516-524 2004 conf/serp/2004-2 Software Engineering Research and Practice db/conf/serp/serp2004-2.html#BauskarM04