10.3969/j.issn.1001-2400.2002.05.028
分布式资源共享系统的进展性设计
无饥饿性和活性是系统进展性的典型问题.基于不变式理论,针对一类Petri网,提出了分布式资源共享系统强制公平性和活性的方法.首先,基于T-不变式,把系统的网模型设计为一个公平网.此后,利用P-不变式把一个公平的网模型设计为一个活且公平网.以著名哲学家就餐问题为例,说明了这种方法的应用.
Petri网、分布式系统、进展性、活性和公平性
29
TP311.1(计算技术、计算机技术)
西安电子科技大学校科研和教改项目
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共6页
684-689