Petri网系统的公平性判定

• 作者: 岳昊
• 来源期刊: 长春师范学院学报：自然科学版
• 学科: 数学
• 关键词: PETRI网 公平性 有效可重复向量 有效受控
• 年，卷（期）: 2010,（5）
• 页码范围: 15-18
• 页数: 4页
• 分类号: O231

摘要

一个Petri网系统的有效可重复向量的集合为CSX0∪CSX＋,有效受控可重复向量的集合为CSX-∪CSX＋-。本文给出了用有效（受控）可重复向量判定Petri网系统公平性相关问题的一个充分必要条件。任意的两个变迁ti,tj,则tj公平依赖于ti,当且仅当在CSX0∪CSX＋∪CSX-∪CSX＋-中不存在这样的向量X,使得X（j）〉0且X（i）=0。最后,用一个实例展示结论的应用过程。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	岳昊	漳州师范学院计算机科学与工程系	19	14	1.0	3.0