Premium
Petri net model with fuzzy timing and fuzzy‐metric temporal logic
Author(s) -
Zhou Yi,
Murata Tadao
Publication year - 1999
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/(sici)1098-111x(199908)14:8<719::aid-int2>3.0.co;2-q
Subject(s) - petri net , fuzzy logic , temporal logic , metric (unit) , computer science , fuzzy set operations , fuzzy number , stochastic petri net , fuzzy electronics , fuzzy classification , fuzzy set , theoretical computer science , artificial intelligence , algorithm , engineering , operations management
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. © 1999 John Wiley & Sons, Inc.