模糊Petri网的活性分析  

Liveness analysis of fuzzy Petri nets

作　　者：周彦[1] 乐晓波[1] 

机构地区：[1]长沙理工大学计算机与通信工程学院,湖南长沙410004

出　　处：《长沙理工大学学报（自然科学版）》2012年第1期85-89,共5页Journal of Changsha University of Science and Technology:Natural Science

基　　金：湖南省自然科学基金资助项目(08JJ3124)

摘　　要：在基本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.

关 键 词：模糊PETRI网 活性 活性的判定 

分 类 号：TP202[自动化与计算机技术—检测技术与自动化装置]