论文部分内容阅读
Petri网的进程表达式是以该网系统的基本子进程集为字母表的一个正规表达式.它用有限形式给出了网系统的所有(无限多个)进程的集合.作者于1995年给出了对任意给定的有界Petri网求其进程表达式的一个算法.这个算法对无界Petri网是不适用的,其原因在于子进程同构的概念在无界网系统中没有意义.对此,作者通过定义进程段行为等价的概念,导出了无界Petri网的进程表达式的一般形式,并借助无界公平网的特征可达树得出求给定无界公平网进程表达式的一个算法.