简介:Thispaperpresentsaconcurrentobject-orientedmodelinglanguagebasedonPetrinets:OMNets,whichhelpsgreatlytoavoidtheinheritanceanomalyproblemappearedinconcurrentOOlanguages.OMNetsseparatesthefunctionalpartandthesynchronizationpartofobjectsandusesPetrinetstodescribethesynchronizationpart.Bothpartsarereusablethroughinheritance.