The Research & Implementation On Petri Net Modeling Tool

Petri Net was initiated by Mr.C.A.Petri in his doctoral thesis entitled "Communication With Automata". It's very suitable for describing the parallelism system. As Petri Net theory has developed endlessly, the method to analyze Petei Net become more advance and Petri Net 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.Based on basic theory of Petri Net and with the help of Object-Oriented technology, the author of this article has done the following work in the research of Petri Net modeling and simulation tool:l.Based on basic theory of Petri Net and with the Object-Oriented technology, the author analyzes the character and behavior of the Petri Net elements in a universal way, as well as the condition of Petri Net model. The object model of the place, the transition and the link are given in article.2.Based on the description about transitions in Petri Net theory, the author extends the behavior of transitions in the time axis and analyzes the acting process of the transitions, which is essential to simulate a Petri Net.3.The author made a deeply analysis about threads and their running condition and discovered the similarities of threads and transitions in their behavior. With this discovery, the author decides to use threads to execute the acting process of transitions and the method is given.4.After the demand analysis, the author made a system analysis to the software and brought out a multi-tier system model, which describes the simulation mechanism clearly.Finally the author combines the object model of the Petri Net elements together with the system model, and made up with a Petri Net modeling and simulation tool which has a MDI user interface and run on windows platform. This tool combines the input, editing and simulation functionality together. With this tool the user can input and simulate a PN model easily.The software experiments show that this tool can animate a Petri Net model correctly with good performance. This testifies the correctness of conclusion of this paper.This tool applies to EN net, P/T net and time net currently. The author would make it applied to more net type afterwards.