摘要
在基本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.
出处
《长沙理工大学学报（自然科学版）》
CAS
2012年第1期85-89,共5页
Journal of Changsha University of Science and Technology:Natural Science
基金
湖南省自然科学基金资助项目(08JJ3124)
