可达性等价于状态方程可满足性的两个Petri-Nets子类
可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题.众所周知,一个Petri网的状态方程可满足性是其可达性的一个必要不充分条件.然而”2”证明了,对于活的T-系统,其状态方程可满足性是其可达性的一个充分必要条件.另外”3”指出,对于活的加权T-系统,这一点也成立.下面第1部分给出一种包含活T-系统的活Petri网子类,并证明其状态方程可满足性是其可达性的一个充分必要条件.特别地,第2部分提出另一种Petri网子类(可以是不活的),并证明其状态方程可满足性也是其可达性的一个充分必要条件.
可达性 状态方程 状态方程可满足性 Petri网
邱经华 吴哲辉
山东科技大学信息学院(山东泰安)
国内会议
杭州
中文
46-48
2003-09-01（万方平台首次上网日期，不代表论文的发表时间）