Petri网绘图、分析工具。可在windows/linux/mac下运行。可进行结构分析和初步性能分析及仿真。-Petri net mapping, analysis tools. The windows / linux / mac running. Structural analysis can be conducted and preliminary performance analysis and simulation.

模拟一个petri网的行为。该程序应该读入一组转换规则，以及一组状态列表，这些状态对应于网络链路层发出了一个新分组或者接受一个新分组，初始状态也是要读入的。该程序应该从初始状态开始，随机地选择那些激活的转换，并激发这些状态，检查一下看是否有“一个主机接受了2个分组而另一台主机并没有在此期间发出新的分组”这样的情形。-simulated a petri nets behavior. The procedure should be read into one group conversion rul

petri网图形分析工具

Petri网可达分析算法，将Petri网的关联矩阵输入，得到该可达分析图的性质-Petri net reachability analysis algorithm, the Petri net associative matrix input, get the nature of the reachable analysis