摘要：可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题.众所周知,一个Petri网的状态方程可满足性是其可达性的一个必要不充分条件.然而[2]证明了,对于活的T-系统,其状态方程可满足性是其可达性的一个充分必要条件.另外[3]指出,对于活的加权T-系统,这一点也成立.下面第1部分给出一种包含活T-系统的活Petri网子类,并证明其状态方程可满足性是其可达性的一个充分必要条件.特别地,第2部分提出另一种Petri网子类(可以是不活的),并证明其状态方程可满足性也是其可达性的一个充分必要条件.
