10.3969/j.issn.1001-3695.2010.10.051
基于极小T-不变量增加的Petri网可达性分析
基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关系图和扩展借矩阵在这些特征解向量的基础上适当添加整数倍的极小T-不变量;最后再判断这个添加极小T-不变量后的解向量的可达性.该方法不仅能判定一类含T-不变量Petri网的可达性,而且能在可达的情况下求得一个合法的变迁发生序列,并在一定程度上简化了可达性分析的过程.
Petri网、可达性、极小T-不变量、极小T-不变量关系图、扩展极小T-不变量关系图、借矩阵、扩展借矩阵
27
TP301(计算技术、计算机技术)
2011-01-27(万方平台首次上网日期,不代表论文的发表时间)
共5页
3798-3802