Title :
Aliveness of Fuzzy Dynamic Petri Net Systems
Author :
Li, Chengjia ; Ding, Fuling ; Li, Ni
Author_Institution :
Inst. of Operational Res. & Cybern., Hangzhou Dianzi Univ., Hangzhou, China
Abstract :
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.
Keywords :
Petri nets; concurrency theory; formal languages; fuzzy set theory; aliveness analysis; concurrent systems; fuzzy Petri net language; fuzzy dynamic Petri net systems; Artificial intelligence; Computational intelligence; Cybernetics; Fuzzy reasoning; Fuzzy set theory; Fuzzy sets; Fuzzy systems; Knowledge representation; Petri nets; Production; Petri nets; aliveness; fuzzy reasoning; fuzzy set;
Conference_Titel :
Artificial Intelligence and Computational Intelligence, 2009. AICI '09. International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-3835-8
Electronic_ISBN :
978-0-7695-3816-7
DOI :
10.1109/AICI.2009.169
