Petri网可达分析算法，将Petri网的关联矩阵输入，得到该可达分析图的性质-Petri net reachability analysis algorithm, the Petri net associative matrix input, get the nature of the reachable analysis