petri网建模仿真(Hierarchical Petri net Simulator)
也称为HIPS,是开发与Petri网的设计和分析的工具。
petri网建模仿真是一个非常直观的图形用户界面软件。的应用程序功能的静态/动态分析功能(可达路径分析,检测的T-不变,僵局状态检测,K-有界性分析)。