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

Addition of the T-invariant in the Decision for Legal Firing Sequence

作　　者：岳昊[1] 李文杰[2,3] 

机构地区：[1]漳州师范学院计算机科学与工程系,福建漳州363000 [2]山东科技大学机电学院,山东青岛266510 [3]西北核技术研究所,陕西西安710065

出　　处：《云南师范大学学报（自然科学版）》2010年第6期47-50,共4页Journal of Yunnan Normal University:Natural Sciences Edition

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

摘　　要：Petri网的合法变迁引发序列(Legal Firing Sequence,简称LFS)问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指出,对于Petri网(N,M0)状态方程的任意一个非负整数解X,和N的任意一个T-不变量,LFS(N,M0,X)不一定等于LFS(N,M0,X+Y)。在一般情况下,不能在待判定的解向量X中添加T-不变量。这是Petri网合法变迁引发序列判定的一个性质。Legal Firing Sequence（LFS for short）problem of Petri net is a sub-problem of reachability problem.So far,LFS problem has already had plenty of reach achievements.This paper illustrates the following fact by a counterexample.In a given Petri net（N,M0）,the equation LFS（N,M0,X） = LFS（N,M0,X＋Y）will not always stands,where X is an arbitrary non-negative integer solution vector of the state equation and is an arbitrary T-invariant.Generally speaking,a T-invariant can not be added to the solution vector under decision.This is a property of Petri net LFS problems.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]