文件名称:PetriNetAnalyze
介绍说明--下载内容均来自于网络,请自行研究使用
Petri网可达分析算法,将Petri网的关联矩阵输入,得到该可达分析图的性质-Petri net reachability analysis algorithm, the Petri net associative matrix input, get the nature of the reachable analysis
(系统自动生成,下载前可以参看下载内容)
下载文件列表
CT.cpp
input.txt
output.txt