合法引发序列是Petri网可达性问题的一部分，它是Petri网研究领域的一个重要研究课题，本文针对Petri网的一个子类——有界Petri网给出了一个判定合法引发序列算法。 本文给出的算法是在变迁序列分解的基础上实现的。我们讨论了变迁序列分解的依据、分解方法在合法引发序列判定中的应用以及分解的逆过程——变迁子序列合成合法引发序列的运算等。这些，是本文提出的判定算法的Petri网方面的理论依据。 在变迁序列分解的指导思想下，我们的算法主要通过以下两步工作完成： （1）首先对给出的已知条件中满足状态方程的n维非负整数向量进行处理，得到一组X的基础向量X_b，使得在Petri网的可达标识图中，若存在一条由M_o到M_d的有向无环路，则X_b为这样的路上变迁引发序列的发生数向量。同时，我们记录下所有X_b的非零分量和的最大值作为控制第二步工作的终止。这一部分是以网的极小T-不变量为工具完成的。 （2）经过第一步的工作，我们得到与判定X的合法引发序列问题等价而问题规模缩减了的简化问题-判定X的基础向量X_b的合法引发序列。故我们解决后一问题。而由X_b的定义可知，它只能对应一条有向无环路上的变迁引发序列，所以，算法中在构建∑₁=（S，T；F，M_o）的部分可达树RT’（∑₁）和∑₂=（S，T；F，M_d）的部分逆向可达树RT^-1（∑₂）的同时寻找这样的有向无环路。若能够找到，则说明有某个X_b对应一条使M_d由M_o可达的有向无环路上的变迁引发序列，算法判定成功，反之，则认为不存在合法引发序列，算法判定为失败。