作者:韩晓光; 陈增强; 刘忠信; 张青petri网信标陷阱矩阵的半张量积信标方程陷阱方程
摘要:本文基于矩阵半张量积(semi-tensorproduct,STP)方法研究了普通Petri网(Petrinets,PNs)信标和陷阱的计算问题.首先,利用STP方法建立了两个矩阵方程,分别称为Petri网的信标方程(siphonequation,SE)和陷阱方程(trapequation,TE).其次,证明了计算Petri网的信标和陷阱分别等价于求信标方程(SE)和陷阱方程(TE)的非零解.同时,给出了计算Petri网所有信标和陷阱的算法.最后,实例和实验结果说明了本文方法的可行性与有效性.本文所提出的方法对于Petri网信标和陷阱的计算是非常有效的,它只涉及到矩阵的乘法运算.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社