Dynamic properties of fuzzy Petri net model and related analysis
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 explo...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Published: |
Central South University of Technology
2015
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/id/eprint/58340/ http://dx.doi.org/10.1007/s11771-015-3023-7 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|