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

被引：3

作者：

刘关俊

蒋昌俊

吴哲辉

机构：

[1] 山东科技大学计算机系

来源：

系统仿真学报 | 2007年 / S1期

关键词：

Petri网; 可重复向量; T-不变量; FM-算法; 变迁扩充网;

D O I：

10.16182/j.cnki.joss.2007.s1.007

中图分类号：

TP301.1 [自动机理论];

学科分类号：

081202 ;

摘要：

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

引用

页码：1 / 3+15 +15

页数：4

共 5 条

[1] 各类Petri网语言间的关系 [J].