计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2005年
10期
2746-2748
,共3页
胡健生%黄金志%廖贇%祝习兵
鬍健生%黃金誌%廖贇%祝習兵
호건생%황금지%료빈%축습병
随机Petri网%时间特性%离散事件
隨機Petri網%時間特性%離散事件
수궤Petri망%시간특성%리산사건
为了进一步研究随机Petri网的时间特性,引入了时间Petri网、闭网、常返网、有环网、无环网等概念,证明了随机Petri网是时间特性网的充要条件是其闭网为常返网,并给出了判别一个网是否是时间特性网的数值方法.同时讨论了变迁发射时间特性,给出了发射时间密度公式.
為瞭進一步研究隨機Petri網的時間特性,引入瞭時間Petri網、閉網、常返網、有環網、無環網等概唸,證明瞭隨機Petri網是時間特性網的充要條件是其閉網為常返網,併給齣瞭判彆一箇網是否是時間特性網的數值方法.同時討論瞭變遷髮射時間特性,給齣瞭髮射時間密度公式.
위료진일보연구수궤Petri망적시간특성,인입료시간Petri망、폐망、상반망、유배망、무배망등개념,증명료수궤Petri망시시간특성망적충요조건시기폐망위상반망,병급출료판별일개망시부시시간특성망적수치방법.동시토론료변천발사시간특성,급출료발사시간밀도공식.
