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

被引：3

作者：

邱经华

吴哲辉

机构：

[1] 山东科技大学信息学院

来源：

系统仿真学报 | 2003年 / S1期

关键词：

可达性; 状态方程; 状态方程可满足性; 活性;

D O I：

10.16182/j.cnki.joss.2003.s1.011

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

引用

页码：46 / 48

页数：3