长沙理工大学学报:自然科学版
長沙理工大學學報:自然科學版
장사리공대학학보:자연과학판
Journal of Changsha University of Science and Technology:Natural Science
2012年
1期
85-89
,共5页
模糊Petri网%活性%活性的判定
模糊Petri網%活性%活性的判定
모호Petri망%활성%활성적판정
fuzzy Petri nets%liveness%liveness determination
在基本Petri网理论基础上,基于模糊推理,对无环模糊Petri网的活性进行了讨论.给出了其关于活性的分级定义以及一种有效的活性判定方法,并对该方法的正确性进行了证明,最后通过一个算例验证了该活性判定方法的有效性.
在基本Petri網理論基礎上,基于模糊推理,對無環模糊Petri網的活性進行瞭討論.給齣瞭其關于活性的分級定義以及一種有效的活性判定方法,併對該方法的正確性進行瞭證明,最後通過一箇算例驗證瞭該活性判定方法的有效性.
재기본Petri망이론기출상,기우모호추리,대무배모호Petri망적활성진행료토론.급출료기관우활성적분급정의이급일충유효적활성판정방법,병대해방법적정학성진행료증명,최후통과일개산례험증료해활성판정방법적유효성.
On the basis of the basic net theory, this paper discusses the liveness of acyclic fuzzy Petri Net based on fuzzy inference, and proposes different levels definition of liveness. This paper also gives a method to judge its liveness and then proves it through an experi- ment.