可达性等价于状态方程可满足性的petri网子类

• 作者: 刘关俊 陈黎静
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: petri网 可达性 状态方程 可执行向量
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 学术探讨
• 页码范围: 84-86
• 页数: 3页
• 分类号: TP301
• 字数: 3709字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.11.029

摘要

定义了一个petri网子类:PN=(S,T;F,M0),满足条件(∨)s ∈S→|s|≤1.证明:当目标标识Md＞0时,此petri网子类的可达性等价于状态方程Md=M0+ATX的可满足性.同时,当此petri网子类的可达性等价于状态方程可满足性时,可得出如下两点结论:(1)对于满足M0+ATX＞0的每个非平凡的非负整数向量X,都( )t∈Tx:M0[t＞;(2)对于满足M0+ATX＞0的每个非平凡的非负整数向量X,X都是PN的一个可执行向量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘关俊	山东科技大学信息学院	5	29	2.0	5.0
2	陈黎静	山东科技大学信息学院	4	5	2.0	2.0