借库所和系数扩展矩阵

给定一Petri网的初始标识，通过一系列T_不变量的帮助到达目的标识，这种利用T_不变量之间托肯的借还来实现变迁引发的机制，文献[8]已进行了分析探讨；本文针对性地提出了结构上具有托肯借还操作的借库所，它是两个T_不变量之间共同关联的库所，在它们之间实现托肯传递。利用借库所的这种结构特性和其运行机制，不仅可以对目标的不可达从结构上直接判断，还可以利用它求解目标的可达变迁向量；本文在文献[8,9]提出的借矩阵上构建系数扩展借矩阵将各T_不变量之间、T_不变量与特解变迁向量之间通过借库所所呈现的结构上的依赖关系具体数目化，实现可达变迁向量的生成。