由于Petri网的满进程只能刻画Petri网的一段运行,因此只能计算一部分可达标识,为了能够计算一个Petri网的全部可达标识,理论界提出进程表达式和进程网的方法.文中引入全进程Petri网的概念,目的是使Petri每一个标识都在全进程中得到计算,从而提供了一种计算标识的简便方法,避免利用进程表达式计算所有标识时需要的复杂计算,证明了一类可逆的有界Petri网(M0网)是全进程Petri网.
科研之友
微信
新浪微博
Facebook
分享链接
