Computer Science ›› 2014, Vol. 41 ›› Issue (7): 49-51.doi: 10.11896/j.issn.1002-137X.2014.07.009

Previous Articles     Next Articles

Further Study of Relationship between Weak Fairness and Fairness of Petri Nets

SHI Zhou-qi,DING Zhi-jun and CHEN Hong-zhong   

  • Online:2018-11-14 Published:2018-11-14

Abstract: In Petri net,the introduction of the concept fairness is to discuss the relationship of two transitions happened in net system.This relationship can well reflect whether each part of the concurrent system in the competition for resource has starvation-free problem.According to the definition and the relation of the weak fairness and fairness,it was proved that fairness can be deduced by weak fairness for a bounded Petri net and for two classes unbounded Petri net.Fairness cannot be deduced by weak fairness for other unbounded Petri net.

Key words: Petri net,Weak fairness,Fairness,Boundedness

[1] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006
[2] 吴哲辉,王培良,赵茂先.无界公平Petri网的进程表达式[J].计算机学报,2000,3(4):337-344
[3] 王廷刚,吴哲辉.Petri网有界性和公平性关系的进一步研究[J].系统仿真学报,2009,0(增刊):13-15
[4] 宁华,蒋树强,吴哲辉.Petri网中的广义公平关系[J].计算机学报,2000,3(10):1102-1107
[5] 王培良,吴哲辉.公平网的一组直接判定条件[J].计算机学报,1993,6(1):53-58
[6] 王培良,吴哲辉.Petri网弱公平性的判定[J].计算机学报,1994,8(7):608-611
[7] 郭玉彬,杨桂珍.Petri网中的公平依赖体系研究[J].小型微型计算机系统,2003,4(7):1031-1035

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!