Petri net model with fuzzy timing and fuzzy-metric temporal logic

✍ Scribed by Yi Zhou; Tadao Murata

• Publisher: John Wiley and Sons
• Year: 1999
• Tongue: English
• Weight: 321 KB
• Volume: 14
• Category: Article
• ISSN: 0884-8173
• DOI: 10.1002/(sici)1098-111x(199908)14:8<719::aid-int2>3.0.co;2-q

✦ Synopsis

This paper is concerned with a Petri net model having fuzzy timing and fuzzy real-time temporal logic. In an earlier paper, we introduced a Petri net model with four fuzzy set theoretic functions of time but no algorithms were given for computing the two important operators called, earliest and latest. In this paper, we first present algorithms for performing these two operations on fuzzy functions of time. Then we extend the existing Ž . concept of real-time metric temporal logic to fuzzy metric temporal logic by expressing the metrics for state and time constraints in terms of fuzzy possibility distributions. Finally we combine the two concepts of fuzzy-timing Petri net and fuzzy metric temporal logic to Ž . introduce a new Petri net model called the temporal-logic fuzzy-timing Petri net TLFTN . The paper concludes with an algorithm and illustrative example for model checking using TLFTNs.