Modeling and Resolving Inheritance Anomaly with Colored Petri Nets. - Bhushan Bauskar; Boleslaw Mikolajczak (Software Engineering Research and Practice, 2004)

Modeling inheritance anomaly in concurrent systems using colored Petri nets. - Bhushan Bauskar; Boleslaw Mikolajczak (SMC (5), 2004)

Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets. - Bhushan Bauskar; Boleslaw Mikolajczak (ITNG, 2006)