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

• 作者: 吴哲辉 邱经华
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 可达性 状态方程 状态方程可满足性 活性
• 年，卷（期）: 2003,（z1）
• 所属期刊栏目: 第九届全国Petri网学术年会文集
• 页码范围: 46-48
• 页数: 3页
• 分类号: TP301
• 字数: 4030字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2003.z1.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴哲辉	山东科技大学信息学院	88	638	14.0	19.0
2	邱经华	山东科技大学信息学院	1	9	1.0	1.0