In: Journal of Computer Science and Technology, Volume 17, Issue 1, pages 101-105. Editorial Universitaria de Buenos Aires, January 2002.
Abstract: This paper presents a concurrent object-oriented modeling language based on Petri nets: OMNets, which helps greatly to avoid the inheritance anomaly problem appeared in concurrent OO languages. OMNets separates the functional part and the synchronization part of objects and uses Petri nets to describe the synchronization part. Both parts are reusable through inheritance.
Keywords: concurrency; inheritance anomaly; object-orientation; petri net.