摘要： 无饥饿性和活性是系统进展性的典型问题.基于不变式理论,针对一类Petri网,提出了分布式资源共享系统强制公平性和活性的方法.首先,基于T-不变式,把系统的网模型设计为一个公平网.此后,利用P-不变式把一个公平的网模型设计为一个活且公平网.以著名哲学家就餐问题为例,说明了这种方法的应用.
中图分类号:
暂时无作者信息. 分布式资源共享系统的进展性设计[J]. J4, 2002, 29(5): 684-690.
Authors. title[J]. J4, 2002, 29(5): 684-690.
