Dynamic properties of fuzzy Petri net model and related analysis

作     者：周恺卿 Azlan Mohd Zain 莫礼平 ZHOU Kai-qing;Azlan Mohd Zain;MO Li-ping

作者机构：Soft Computing Research GroupFaculty of ComputingUniversiti Teknologi Malaysia UTM Skudai College of Information Science and EngineeringJishou University 

出 版 物：《Journal of Central South University》 (中南大学学报（英文版）)

年 卷 期：2015年第22卷第12期

页      面：4717-4723页

核心收录：

学科分类：0810[工学-信息与通信工程] 0806[工学-冶金工程] 08[工学] 0805[工学-材料科学与工程（可授工学、理学学位）] 0703[理学-化学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：Project(R.J13000.7828.4F721)supported by Soft Computing Research Group(SCRP),Research Management Centre(RMC),UTM and Ministry of Higher Education Malaysia(MOHE)for Financial Support Through the Fundamental Research Grant Scheme(FRGS),Malaysia Project(61462029)supported by the National Natural Science Foundation of China 

主　　题：fuzzy Petri net elementary net system backwards-compatible extension method dynamic properties 

摘      要：Fuzzy Petri net(FPN) has been extensively applied in industrial fields for knowledge-based systems or systems with *** the applications of FPN are known to be successful,the theoretical research of FPN is still at an initial *** pave a way for further study,this work explores related dynamic properties of FPN including reachability,boundedness,safeness,liveness and *** whole methodology is divided into two *** the first phase,a comparison between elementary net system(EN_system) and FPN is established to prove that the FPN is an extensive formalism of Petri nets using a backwards-compatible extension ***,current research results of dynamic properties are utilized to analyze FPN *** results illustrate that FPN model is bounded,safe,weak live and fair,and can support theoretical evidences for designing related decomposition algorithm.