Title :
An extended OOPN model and its specification based on PNML
Author :
Xinyang Wu ; Xiaoyue Wu
Author_Institution :
Sch. of Inf. Syst. & Manage., Nat. Univ. of Defense Technol., Changsha, China
Abstract :
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.
Keywords :
Petri nets; XML; formal specification; large-scale systems; object-oriented methods; EOOPN model; PNML representation; Petri net markup language; XML syntax; complex system modeling; complex system reliability analysis; extended OOPN model; extended object-oriented Petri net model; specification; universal interchange format; Analytical models; Logic gates; Object oriented modeling; Petri nets; Reliability; Unified modeling language; XML; EOOPN; PNML; XML syntax;
Conference_Titel :
Control and Decision Conference (CCDC), 2013 25th Chinese
Conference_Location :
Guiyang
Print_ISBN :
978-1-4673-5533-9
DOI :
10.1109/CCDC.2013.6561123
