A Solftware Design And Implementation Of Petrinet Performance Analysis

In recent years, Petri Net theory began to applied to all kinds of test system’smodeling, such as modeling and analyzing the test system of aircraft engine pressure.Due to the pressure of measuring the test point, the test system is complex and the Petrinet of the pressure of test system model will be more complicated too.With the complication of the structure of Petri net, the method of traditionalmanual analysis and calculation has already can’t meet the needs of the analysis of theactual test system, so developing the Petri net modeling tools is helpful to deepen andexpand the application of Petri net. In this paper, the visual development environmentVisua1Studio2010and c#language, based on the present situation of development ofthe Petri net modeling and analysis software at home and abroad and the actual needs ofusing Petri nets theory to analysis the system performance in the test system.At first, we discussed the basic theory of Petri net, including the definition andoperation rule of Petri nets, basic characteristics and analysis method of Petri net in thispaper.Then, Beginning with requirement analysis of the Petri net modeling software, thispaper designed the whole architecture, and then proposally by using c#languagein.NET framework4.0was determined. This software has a good human-computerinteraction interface and users can set the input parameters to realize the graphical ofPetri net model, the status table of running process of Petri net, reachability tree andperformance analysis of the Petri net, etc. this paper realized the running state table byusing the Queue, Subsequently, we implemented performance analysis of the Basic Petrinet, Timed Petri nets, Stochastic Petri net based Reachability Tree and deduced Markovchain and the steady-state probability of stochastic Petri net. Finally, the software wasproved by using a practical example and deduced the performance analysis of the SPNmodel of multi-channel pressure test system. the correctness and practicability of themodeling software was proved.