Dynamic properties of fuzzy Petri net model and related analysis
来源期刊：中南大学学报(英文版)2015年第12期
论文作者：ZHOU Kai-qing Azlan Mohd Zain MO Li-ping
文章页码：4717 - 4723
Key words：fuzzy Petri net; elementary net system; backwards-compatible extension method; dynamic properties
Abstract: 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.
ZHOU Kai-qing(周恺卿)1, Azlan Mohd Zain1, MO Li-ping(莫礼平)2
(1. Soft Computing Research Group, Faculty of Computing, Universiti Teknologi Malaysia UTM Skudai,
Johor 81310, Malaysia;
2. College of Information Science and Engineering, Jishou University, Jishou 416000, China)
Abstract: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.
Key words:fuzzy Petri net; elementary net system; backwards-compatible extension method; dynamic properties
