Design And Implementation On A Petri Net Simulation Tool

Petri nets is a mathematical object which can be represented by directed graph.In the system modeling process,due to its simple graphical representation and rigorous mathematical theory features,Petri nets has become an important analysis method in the discrete event system modeling process.However,the analysis of complex models relies on the computer's simulation technology.Therefore,the research on Petri nets modeling tool is one of the keys to solve practical problems by using Petri nets.This paper is based on the basic theory of Petri nets,using JAVA programming language to establish a visual model of Petri nets,and to conduct a comprehensive analysis of the Petri nets.This software is currently available for P/T nets(or Place/Transition nets).The main functions include analysis of static,dynamic and sub-models characteristics of Petri nets.In addition,the tool also includes data management and editing functions of models.The static properties include the creation of Petri net models,the random generation of subclass models,the calculation of associative matrices and invariants,and so on.The dynamic properties include reachability graph,reachability state,live-zone,deadlock-zone,and so on.The tool also can analyze the characteristics of a subclass(S~3PR nets),including analysis of its strict minimal siphons,elementary siphons and other features.Data management function means to store information,including the storage of analysis results and view storage.Accessibility refers to provide users with the ability to edit views,including free dragging of view elements and changing the orientation of views.After a comprehensive software testing of the system,the experimental results show that the software is easy to operate and the results are accurate.It can profoundly depict the operating status of the system and quickly and accurately locate the bottleneck that affects system performance,and the tool has successfully applied for software copyright.Compared with similar simulation tools,the tool is developed based on object-oriented thinking and provides a basic framework of Petri nets,which makes it easier to expand new functions,providing a humanized graphical interface and persistent storage of running results.