合法变迁引发序列判定中的T-不变量添加

• 作者: 岳昊 李文杰
• 来源期刊: 云南师范大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 合法变迁引发序列 T-不变量 添加
• 年，卷（期）: 2010,（6）
• 页码范围: 47-50
• 分类号: TP391
• 字数: 3075字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9793.2010.06.008

摘要

Petri网的合法变迁引发序列(Legal Firing Sequence,简称LFS)问题是Petri网可达性问题的子问题,目前已有较多的研究成果.通过反例指出,对于Petri网(N,M0)状态方程的任意一个非负整数解X,和N的任意一个T-不变量,LFS( N, M0 , X )不一定等于 LFS( N, M0 , X+Y ).在一般情况下,不能在待判定的解向量X中添加T-不变量.这是Petri网合法变迁引发序列判定的一个性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	岳昊	漳州师范学院计算机科学与工程系	19	14	1.0	3.0
2	李文杰	山东科技大学机电学院	14	34	4.0	5.0