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

fYear

2013

fDate

25-27 May 2013

Firstpage

1286

Lastpage

1290

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Control and Decision Conference (CCDC), 2013 25th Chinese

Conference_Location

Guiyang

Print_ISBN

978-1-4673-5533-9

Type

conf

DOI

10.1109/CCDC.2013.6561123

Filename

6561123