Design Of Visualized Analysis Software System For Stochastic Petri Net

Recently, stochastic Petri net has become a powerful tool for the research of discrete event dynamic system and particularly succeeded in the performance evaluation area. Computer aided software is the indispensable working environment for the theoretical research and application of stochastic Petri net. In allusion to the actuality of the correlative software for stochastic Petri net home and abroad, SPNAnalyzer, a visualized analysis software system for stochastic Petri net, is designed and developed in the thesis to meet the current requirement of the system performance analysis.Firstly, the theory of Petri net, Markov stochastic process and stochastic Petri net is dissertated in the thesis. Then the application of stochastic Petri net in system performance analysis is illuminated with a specific multi-processor system.Secondly, the general structure of SPNAnalyzer software system is designed in the thesis based on the function requirement analysis. Then the functions of each module are implemented in Visual C++ 6.0 development environment with the method of object oriented analysis and design. SPNAnalyzer software system has a very friendly man-machine interaction interface, so the visualized modeling of stochastic Petri net is very intuitional and convenient. The response and handling of the Windows messages is extended to the graph tool module, so it is very easy to maintain. The class design of the element object module and the graph tool module guarantees the expansibility of the system. The crucial technologies including the reachability set algorithm of the stochastic Petri net model, the constitution of the homogeneous Markov chain, and the computation of the steady state probability are implemented. The design of the data structure adopts the linked list, so the execution of the algorithms is very efficient.Finally, state space explosion, the austere challenge that the theoretical research and application of stochastic Petri net is currently confronted, is discussed in the thesis. Then some updated solutions and valuable subjects to be probed are presented.