可逆的有界Petri网相关硕士博士期刊学术论文

由于Petri网的满进程只能刻画Petri网的一段运行,因此只能计算一部分可达标识,为了能够计算一个Petri网的全部可达标识,理论界提出......