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

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