会议专题

可达性等价于状态方程可满足性的两个Petri-Nets子类

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

可达性 状态方程 状态方程可满足性 Petri网

邱经华 吴哲辉

山东科技大学信息学院(山东泰安)

国内会议

第九届全国Petri网学术年会

杭州

中文

46-48

2003-09-01(万方平台首次上网日期,不代表论文的发表时间)