CPN的矩阵定义及其应用

传统的着色Petri网(CPN)用复集进行定义,这使得CPN的表达和计算比较复杂,考虑到复集可以被认为是两个矩阵的乘积且CPN是由一系列基网相同的Petri网迭加组成,本文引入了着色令牌向量的概念对CPN进行了重新定义,并对其在可达标识、IDEFO向CPN的转换等应用进行了初步研究。