Aliveness of Fuzzy Dynamic Petri Net Systems
Fuzzy Petri net system is an important tool to analyze the behavior of concurrent systems. With a formal definition of fuzzy dynamic Petri nets, the concept of fuzzy Petri net language is first proposed in this paper. Based on the analysis of fuzzy Petri net language, the aliveness and the blocking of fuzzy Petri net are studied afterwards. Further, the relationship between the aliveness of language and blocking of the system is proposed. Finally, an example is given to illustrate the importance of aliveness analysis based on fuzzy Petri net Language.