Petri-Net-Basis-Reachability-Space-Generator:Petri网基础可达性空间生成器（PB...

Petri网基础可达性空间生成器 !! 下载注意：！ 要下载该软件，请单击“ Petri Net Basis可达性空间生成器V1.0.1.exe”链接进入页面，然后单击“下载”（直接下载整个存储库的压缩包将导致该软件失败跑步）。 Petri网基础可达性空间生成器（PBSG）是用于计算Petri网的基本可达性图的软件。 PBSG是在西安电子科技大学机电工程学院的系统控制与自动化实验室中开发的。 您可以在“用户快速指南.pdf”（或单击软件界面左上角的“帮助”->“用户快速指南”）中找到该软件的功能和特定用法的详细说明。还提供了Petri Nets的一些基础知识，以及基础可达性图和基础标记的技术参考。 为了进行测试，在这里我们还提供了示例的输入文件（分别以.txt和.ndr形式的网络）在相应的文件夹txt example和ndr example的文件夹中。