一般网中结构公平的极小标识的求解算法

• 作者: 冯云 曾维兵
• 来源期刊: 电脑知识与技术
• 学科: 工学
• 关键词: Petri网 冲突 公平性 T-不变技术 关联矩阵
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 1099-1102
• 分类号: TP393
• 字数: 3905字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3044.2011.05.057

摘要

公平性(fairness)是Petri网的基本性质.在该文中利用网的关联矩阵求解出一般网中的基本可重复向量组,在其中找出该网的极小支集,并构造出该极小支集构的外延子网,然后利用文献[1]中给出的方式求解结构公平网的极小标识,得到了一个多项式时间算法.