DocumentCode
353759
Title
Fuzzy time Petri nets and its application in supervision of DEDS
Author
Meimei, Gao ; Zhiming, MWu ; Xiaoguang, Huang
Author_Institution
Inst. of Autom., Shanghai Jiaotong Univ., China
Volume
4
fYear
2000
fDate
2000
Firstpage
2327
Abstract
A presentation and temporal reasoning method of fuzzy time Petri nets (FTPN) based on linear logic is proposed. FTPN are described by defining the translations in Petri nets using the connectives in linear logic. The behavior of FTPN can be constructed and temporal reasoning can be realized using the rules we defined using linear logic. The method in this paper can be used in fuzzy process supervision and diagnosis in discrete event dynamic systems
Keywords
Petri nets; discrete event systems; fuzzy logic; fuzzy set theory; temporal reasoning; DEDS supervision; FTPN; discrete event dynamic systems; fuzzy process diagnosis; fuzzy process supervision; fuzzy time Petri nets; linear logic; temporal reasoning; Artificial intelligence; Automation; Fuzzy logic; Fuzzy reasoning; Fuzzy systems; Manufacturing systems; Petri nets; Production systems; Reachability analysis; Real time systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Control and Automation, 2000. Proceedings of the 3rd World Congress on
Conference_Location
Hefei
Print_ISBN
0-7803-5995-X
Type
conf
DOI
10.1109/WCICA.2000.862430
Filename
862430
Link To Document