Abstract: The method described in this paper is based on the existing transition rules between UML and Petri net. Ontology was used as a bridge to produce a general transition method between other models and Petri net. Ontology was established for every model inclu

Key words: Model transition, Petri net, Ontology