Fuzzy Petri net(FPN) has been extensively applied in industrial fields for knowledge-based systems or systems with uncertainty.Although the applications of FPN are known to be successful,the theoretical research of FP...Fuzzy Petri net(FPN) has been extensively applied in industrial fields for knowledge-based systems or systems with uncertainty.Although the applications of FPN are known to be successful,the theoretical research of FPN is still at an initial stage.To pave a way for further study,this work explores related dynamic properties of FPN including reachability,boundedness,safeness,liveness and fairness.The whole methodology is divided into two phases.In 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 method.Next,current research results of dynamic properties are utilized to analyze FPN model.The results illustrate that FPN model is bounded,safe,weak live and fair,and can support theoretical evidences for designing related decomposition algorithm.展开更多
基金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),MalaysiaProject(61462029)supported by the National Natural Science Foundation of China
文摘Fuzzy Petri net(FPN) has been extensively applied in industrial fields for knowledge-based systems or systems with uncertainty.Although the applications of FPN are known to be successful,the theoretical research of FPN is still at an initial stage.To pave a way for further study,this work explores related dynamic properties of FPN including reachability,boundedness,safeness,liveness and fairness.The whole methodology is divided into two phases.In 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 method.Next,current research results of dynamic properties are utilized to analyze FPN model.The results illustrate that FPN model is bounded,safe,weak live and fair,and can support theoretical evidences for designing related decomposition algorithm.
