可达性等价于状态方程可满足性的petri网子类

摘要

定义了一个petri网子类:PN=(S,T;F,M0),满足条件(∨)s ∈S→|s|≤1.证明:当目标标识Md＞0时,此petri网子类的可达性等价于状态方程Md=M0+ATX的可满足性.同时,当此petri网子类的可达性等价于状态方程可满足性时,可得出如下两点结论:(1)对于满足M0+ATX＞0的每个非平凡的非负整数向量X,都( )t∈Tx:M0[t＞;(2)对于满足M0+ATX＞0的每个非平凡的非负整数向量X,X都是PN的一个可执行向量.