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