An extended OOPN model and its specification based on PNML

PNML is a universal interchange format that can be used to represent most kinds of Petri nets. This paper proposed an extended object-oriented Petri net (EOOPN) model for modeling and reliability analysis of complex systems. In order to represent this model using PNML, the original markup language should be extended with new labels to define new type of Petri net, which appeared in EOOPN. This paper showed the extension to label transitions, arcs and places by XML syntax. Finally, an example is given to show the modeling of EOOPN with PNML. With PNML representation, the EOOPN model could easily adapt to various tools supporting.