基于Pipe的可达状态与安全状态计算程序

【文件属性】：

文件名称：基于Pipe的可达状态与安全状态计算程序

文件大小：40.09MB

文件格式：RAR

更新时间：2019-05-09 09:29:42

PetriNet java

自己用java写的基于PIPE的可达状态与安全状态计算小程序。需要事先安装pipe才行，通过pipe的状态矩阵计算生成的html文件，直接计算pipe无法计算的大Petri网的可达状态与安全状态个数