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

Volume

1

fYear

2009

fDate

7-8 Nov. 2009

Firstpage

477

Lastpage

481

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/AICI.2009.169

Filename

5376272