For the most recent entries see the Petri Nets Newsletter.

Fuzzy time Petri net and its application in supervision of DEDS.

Gao, M.; Wu, Z.; Huang, X.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography