Software Design for Reliability Analysis Using Petri Nets

Petri Net is a special directional net, which can represent static structure and dynamic change in a system, and can reflect state of a system and development of event, and can express spread relationship of faults. It can get minimal cut sets (MCS) using Incidence Matrix of Petri Net, and get qualitative analysis according to the program of the method. Through Object Oriented programmed technology, based on VC++6.0, reliability analysis software is developed based on Petri Net. The software has drawing, calculation and fault diagnosis model. Fault diagnosis can get next state and final state according to amount of token or initial state, thus can get fault state of a system. Finally, through an example it can be proved correctness of the software.