Petri网信标和陷阱计算的矩阵半张量积方法
韩晓光1
陈增强2
刘忠信1
张青3
1.南开大学计算机与控制工程学院，天津300350; 南开大学天津市智能机器人技术重点实验室，天津3003502.南开大学计算机与控制工程学院，天津300350; 南开大学天津市智能机器人技术重点实验室，天津300350; 中国民航大学理学院，天津3003003.中国民航大学理学院,天津,300300
摘要：本文基于矩阵半张量积(semi-tensor product, STP)方法研究了普通Petri网(Petri nets, PNs)信标和陷阱的计算问题。首先,利用STP方法建立了两个矩阵方程,分别称为Petri网的信标方程(siphon equation, SE)和陷阱方程(trap equation, TE)。其次,证明了计算Petri网的信标和陷阱分别等价于求信标方程(SE)和陷阱方程(TE)的非零解。同时,给出了计算Petri网所有信标和陷阱的算法。最后,实例和实验结果说明了本文方法的可行性与有效性。本文所提出的方法对于Petri网信标和陷阱的计算是非常有效的,它只涉及到矩阵的乘法运算。
关键词：Petri网信标陷阱矩阵的半张量积信标方程陷阱方程
分类号：TP273(自动化技术及设备)
资助基金：国家自然科学基金(61573199,61573200)天津市自然科学基金(14JCYBJC18700,13JCYBJC17400)
论文发表日期：2016-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：7( 849-855 )
英文信息