基于．Net平台的Petri网建模和分析软件的设计与实现

Design of Petri net Modeling and Analysis Software and Its Implementation Based on .NET Platform

应用面向对象思想和采用C#语言在．NET可视化编程平台下开发了图形化的Petri网建模软件，该软件作为一个计算机辅助设计和分析工具，使用户可在交互式的计算机图形方式下进行Petri网模型的建立、移动和存储。并可通过运行Petri网生成可达树，可达图来分析Petri网基本特性以及系统性能指标。

The software uses C sharp programming language to develope graphical Petri NET modeling in .NET visual programming plattorm based on the object-oriented idea, As a computer aided design and analysis tools, the users can build, move and store Petri Net model in interactive computer graphics mode by using this software, They also can analyze the Petri nets basic characteristic and system performance index through the operation of Petri NET to generate reachability tree and graph .