Petri网信标和陷阱计算的矩阵半张量积方法

摘要：

本文基于矩阵半张量积(semi-tensor product, STP)方法研究了普通Petri网(Petri nets, PNs)信标和陷阱的计算问题。首先,利用STP方法建立了两个矩阵方程,分别称为Petri网的信标方程(siphon equation, SE)和陷阱方程(trap equation, TE)。其次,证明了计算Petri网的信标和陷阱分别等价于求信标方程(SE)和陷阱方程(TE)的非零解。同时,给出了计算Petri网所有信标和陷阱的算法。最后,实例和实验结果说明了本文方法的可行性与有效性。本文所提出的方法对于Petri网信标和陷阱的计算是非常有效的,它只涉及到矩阵的乘法运算。

关键词：Petri网、信标、陷阱、矩阵的半张量积、信标方程、陷阱方程

所属期刊栏目：33

分类号：TP273(自动化技术及设备)

资助基金：国家自然科学基金项目61573199,61573200;天津市自然科学基金项目14JCYBJC18700,13JCYBJC17400

在线出版日期：2016-09-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：849-855