| Firstly, the theory, property and chief analyzing method are dissertated in the thesis. Then the definition and property of the PNML under the background of Petri net standardization is presented. And the chief techniques such as JAXP, XLST etc. are introduced later.Secondly, the general structure of PTAnalyser is given in the thesis on the base of the function requirement analysis. Then the functions of each module are implemented in Eclipse development environment with the method of object oriented analysis and design. PTAnalyser has a very friendly GUI, which enables the visualized modeling of Petri net system very intuitional and convenient and supports the dynamic simulation of the Petri nets. PTAnalyer combines multi-field knowledge, such as Java, XML, XLST, JAXP and factory design pattern, etc. Adoption of ". Xml" as the form of saving Petri net model realizes the saving and reading of the models and the support to PNML. PTAnalyer provides three analysis functions of the performance. On the basis of incidence matrix of Petri nets, P-invariant and T-invariant can be generated by elementary linear transitions. On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed. The simulation function offers a special way in order to study the dynamic characteristic of Petri network models. Adoption of interface makes the software tool much easier to be expanded. And at last, the application of PTAnalyser in system performance analysis in illuminated with two typical problems: the system for arranging the classes and the dining philosophers problem.This thesis summarizes the work done finally, and provides more valuable research direction in which Petri network software tool expands. |
PDF Full Text Request