定义了一个petri网子类：PN=（S，T；F，M0），满足条件Vs∈S→｜s｜≤1。证明：当目标标识Md〉0时，此petri网子类的可达性等价于状态方程Md=M0＋A^TX的可......