In: Proc. 3rd World Congress on Intelligent Control and Automation, June 28 - July 2, 2000, Hefei, Chine, Vol. 4, pages 2327-2331. 2000.
Abstract: A presentation and temporal reasoning method of fuzzy time Petri nets (FTPNs) based on linear logic is proposed. FTPNs are described by defining the translation in Petri nets using connectives in linear logic. The behavior of FTPNs can be constructed and temporal reasoning can be realized using the rules based on linear logic. The proposed method can be used in fuzzy process supervision and diagnosis in discrete event dynamic systems.
Keywords: diagnosis, discrete event dynamic systems, fuzzy time Petri nets, linear logic, process supervision.