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
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;
Conference_Titel :
Intelligent Control and Automation, 2000. Proceedings of the 3rd World Congress on
Conference_Location :
Hefei
Print_ISBN :
0-7803-5995-X
DOI :
10.1109/WCICA.2000.862430
