Petrinet申请 用Java编程语言开发的应用程序是一种工具,通过它可以显示给定的Petri网,并且可以将用于计算某些特征的算法应用于该工具。 该程序提供了从PNML-Files加载Petri网,相应地拾取数据结构并使它们在图形用户界面中可用的可能性。 加载的Petri网可由用户根据用户界面进行编辑。 同样,可以动态切换转换,以检查网络的动态。 Petri网的核心属性(有界性)可以通过图形方式进行,也可以作为大量网的文本批处理来执行。 该程序基于库,该库用于显示Petri网及其关联的(部分)可达性图。 在完全自行开发的数据结构上读取Petri网络,该结构提供了执行约束分析的所有功能。 该