论文部分内容阅读
定义了一个petri网子类：PN=（S，T；F，M0），满足条件Vs∈S→｜s｜≤1。证明：当目标标识Md〉0时，此petri网子类的可达性等价于状态方程Md=M0＋A^TX的可满足性。同时，当此petri网子类的可达性等价于状态方程可满足性时，可得出如下两点结论：（1）对于满足M0＋A^TX〉0的每个非平凡的非负整数向量X，都Зε∈Ts：M0[t〉；（2）对于满足M0＋A^TX〉0的每个非平凡的非负整数向量X，X都是PN的一个可执行向量。