| This theory is raised by Carl Adam Petri in his doctoral thesis "Kommun Pcation mit automation" in 1962. The Petri net is a mathematical modeling tool to describe discrete, distributed systems. Currently, there are many researchers around the world focus on the Petri net research, and many focus on in the Petri net modeling tool for software research. The thesis commence on practical of Petri net, studied the analysis and simplification techniques in detail, analyzed the equivalence between original diagrams and simplified diagrams. Finally, achieved Petrilab 3.0 which is a functional Petri net simulation tool based on Petrilab 2.0.This thesis rebuild Petrilab 2.0 which is a Petri net simulation software depveloped by Tan Dan, programed in MATLAB and VC++ with object-oriented programming. Petrilab 3.0 enhanced simulation function by adding simulation of the Petri net with inhibitor arc. The software is currently available for E/N systems, P/T system, time Petri nets, automatic control network systems (including with constraints and without constraints arc arc controlled networks) . In order to simulate the Petri net with arc suppression and anlyze complex simulation system, the thesis researched deeply on simplification rules with Arc. This thesis defined and proofed simplication rules with Arc suppression. After a comprehensive testing and debugging, the system is proved to be stable, reliable, convinient, efficient and accurate. This Petri net simulation software Petrilab 3.0 is more complete compared with similar products. |
PDF Full Text Request