A Petri net software for mission reliability evaluation of PMS

The petri net (PN) simulation method is a common-used methodology for mission reliability analysis of phased mission system (PMS). However, traditional PN sometime become unviable for PMS modeling. To solve such problems, an extension of PN named Extended Object-Oriented Petri Net (EOOPN) has been introduced, which proves to be efficient for PMS modeling. In this paper, a software named EOOPN Tool is exploited to trace the functions of PMS mission reliability modeling and simulation. The software bases on EOOPN model. It is developed in WINDOWS-7 Operating System using C# language. A user-friendly interface is provided for EOOPN modeling and result representing. After modeling, a validity checking is permitted then a simulation could be performed. To be specific, several logical transitions are added to fulfill the need of PMS mission logic modeling. Endue transitions with color to express a firing rate or a distribution of the time delay. Furthermore, an EOOPN sub-model base is provided for OOPN modeling and a XML document that complying with the PNML standard is used for input/output file.