Abstract: Based on the tight combination of Petri Net theory and Object-Oriented technology, a class of high-level Petri Nets named （K）PN, i. e. Object-Oriented Petri Nets, is defined, with extensions to normal Petri Nets such as gates, place-token type mapping, po

Key words: Petri, Objeet-Oriented, Modeling