分布式资源共享系统的进展性设计

• 作者: 于振华 李志武
• 来源期刊: 西安电子科技大学学报(自然科学版)
• 学科: 工学
• 关键词: Petri网 分布式系统 进展性 活性和公平性
• 年，卷（期）: 2002,（5）
• 页码范围: 684-689
• 页数: 6页
• 分类号: TP311.1
• 字数: 5298字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2002.05.028

摘要

无饥饿性和活性是系统进展性的典型问题.基于不变式理论,针对一类Petri网,提出了分布式资源共享系统强制公平性和活性的方法.首先,基于T-不变式,把系统的网模型设计为一个公平网.此后,利用P-不变式把一个公平的网模型设计为一个活且公平网.以著名哲学家就餐问题为例,说明了这种方法的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志武	西安电子科技大学机电工程学院	39	141	6.0	9.0
2	于振华	西安电子科技大学机电工程学院	3	13	2.0	3.0