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

• 作者: 刘忠信 张青 陈增强 韩晓光
• 来源期刊: 控制理论与应用
• 关键词: Petri网 信标 陷阱 矩阵的半张量积 信标方程 陷阱方程
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 论文与报告
• 页码范围: 849-855
• 页数: 7页
• 分类号: TP273
• 语种: 中文
• DOI: 10.7641/CTA.2016.50913

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈增强	南开大学计算机与控制工程学院	345	4297	35.0	48.0
7	刘忠信	南开大学计算机与控制工程学院	63	679	13.0	24.0
11	张青	中国民航大学理学院	53	225	8.0	12.0
12	韩晓光	南开大学计算机与控制工程学院	7	8	2.0	2.0