Modeling inheritance anomaly in concurrent systems using colored Petri nets

Object oriented design supports encapsulation, inheritance, and polymorphism. Formal specification of concurrency is possible in the object oriented design. Concurrency with inheritance raises inheritance anomaly, where, synchronization constraints and source code of inherited methods shows disagreement in their behavior. Due to the hierarchical structure of colored Petri nets model and direct inclusion of concurrency, colored Petri nets can be used to solve inheritance anomaly. In this paper, we propose that colored Petri nets, the formal mathematical modeling tool of concurrent systems, can be used to model concurrent object oriented design. The graphical and executable nature of colored Petri net models helps in simulation, verification, and validation of the designed system