摘要
S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。
S-invariant is an important tool for the structual property analysis of Petri nets.Unfortunately there is no effective algorithm for the computation of S-invariants.Several polynomial algorithms were put forward to determine the minimal support of S-invariants and a concrete S-invariants supported by a given minimal S-invariant Support was computed.Based on the above work,combined with enumeration method,a new algorithm for the computation of S-invariants generators was proposed.Furthermore some sieve rules were provided to improve the performance of enumeration.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2011年第B07期65-68,共4页
Journal of System Simulation
基金
教育部博士点基金项目(20103718110007)
山东省科技发展计划项目(2010GSF10811)
青岛市科技计划指导性项目(KZJ-47)
山东省教育厅科研项目(J08LJ77)
山东科技大学科学研究春蕾计划项目(2010AZZ069
2010AZZ177)
山东科技大学杰出青年基金(2010KYJQ101)
