计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
7期
49-51
,共3页
Petri网%弱公平性%公平性%有界性
Petri網%弱公平性%公平性%有界性
Petri망%약공평성%공평성%유계성
Petri net%Weak fairness%Fairness%Boundedness
在Petri网中,公平性概念的引入是为了讨论网系统中两个变迁发生之间的相互关系.这种关系可以很好地反映出模拟系统的各个事件在资源竞争中的有无饥饿性问题.文中基于弱公平性和公平性的定义与联系,证明了对于有界Petri网,满足弱公平性就满足公平性;同时证明了在两类无界Petri网中,可由弱公平性推导出公平性.并进一步证明其他类型的无界Petri网是不满足公平性的,即无法从弱公平性直接推导出公平性.
在Petri網中,公平性概唸的引入是為瞭討論網繫統中兩箇變遷髮生之間的相互關繫.這種關繫可以很好地反映齣模擬繫統的各箇事件在資源競爭中的有無饑餓性問題.文中基于弱公平性和公平性的定義與聯繫,證明瞭對于有界Petri網,滿足弱公平性就滿足公平性;同時證明瞭在兩類無界Petri網中,可由弱公平性推導齣公平性.併進一步證明其他類型的無界Petri網是不滿足公平性的,即無法從弱公平性直接推導齣公平性.
재Petri망중,공평성개념적인입시위료토론망계통중량개변천발생지간적상호관계.저충관계가이흔호지반영출모의계통적각개사건재자원경쟁중적유무기아성문제.문중기우약공평성화공평성적정의여련계,증명료대우유계Petri망,만족약공평성취만족공평성;동시증명료재량류무계Petri망중,가유약공평성추도출공평성.병진일보증명기타류형적무계Petri망시불만족공평성적,즉무법종약공평성직접추도출공평성.
