基于T-不变量的可重复向量的求解算法

摘要：

研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法.首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充同T-不变量的求解上.在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求出一组可重复向量,而任一可重复向量都可被这组可重复向量非负有理系数线性表出.

关键词： Petri网 可重复向量 T-不变量 FM-算法 变迁扩充网

作者: 刘关俊 蒋昌俊 吴哲辉

作者单位: 山东科技大学计算机系 青岛 266510 山东科技大学计算机系 青岛 266510;同济大学计算机系 上海 201804

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 1-3,15

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