中南大学学报（英文版）
中南大學學報（英文版）
중남대학학보（영문판）
Journal of Central South University
2015年
12期
4717-4723
,共7页
周恺卿%Azlan Mohd Zain%莫礼平
週愷卿%Azlan Mohd Zain%莫禮平
주개경%Azlan Mohd Zain%막례평
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 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.
