文件名称:PetriNetAnalyze
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出,可右键点击选“另存为”。
失败请重下,重下不扣分。
如迅雷强制弹出,可右键点击选“另存为”。
失败请重下,重下不扣分。
介绍说明--下载内容均来自于网络,请自行研究使用
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