The Research & Development Of Petri Net Simulation Tool

Petri Net is a mathematic tool that can be represented by graphs, It was initiated by Mr.C.A.Petri who used it to simulate communicaition system in 1962. For over 40 years developement of Petri Net, Petri net has become a whole integrated theory system, and based on this,it is developed many kind of method to analyze Petei Net.As the Petri Net analyze method was more and more advance ,modeling and simulation tools, which based on computer software technology, are brought forward. Many inland and foreign scholars have done much research in this field. This thesis emphasizes on the analysis technology of the Petri Net theory, and starts on the practice of Petri Net, then researches the how to develop a Petri Net Analysis System.Based on basic theory and analysis technology of Petri Net and with the help of Object-Oriented reengineer technology, the author programs in VC++ and MatLab to reengineer Petrilab 1.0 that developed by Petri Net research group of Changsha University of Science and Technology. At the foundation of the Petrilab 1.0, the author add analysis module, build module, and simplify module, and models and simulates the EN net, P/N net, two kind of cycber net. The author add those modules to the Petrilab, and improve some unsuitable modules of Petrilab 1.0, and finally get a completely analysis system Petrilab 2.0, which can generally analysis the model that you set up at both the static and dynamic aspect. It also provides the function of simplifying. Compare with Petrilab 1.0, Petrilab 2.0 has more powerful function, and users can use it more feasibly.The software prototype that this thesis has achieved could animate and analysis a PN module's static characteristic and dynamic characteristic, for example the living analysis, case aggregate, confusion, S_invariant, T_invariant, and so on. The author test the prototype system fully, and the software experiment displays the system runs stablely, and users can effectively make models,and the result of analysis is also correct.Compare with other Petri net modeling tool,this tool's function is more maturity.This tool applies to EN net, P/T net and time net cyber net system (containing having inhibit arc and non-having inhibit arc) currently.