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

摘要：

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

关键词：Petri网、合法变迁引发序列、T-不变量、添加

所属期刊栏目：30

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60673053;福建省教育厅资助科技项目JK2010037;漳州师范学院博士科研启动基金

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

页数：共4页

页码：47-50