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

International Journal of Intelligent Systems

Volumn 14, Issue 8, 1999, Pages 719-745

  Zhou, Yi ^a   Murata, Tadao ^a  

^a 1120 Science and Engineering Offices   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; MATHEMATICAL MODELS; PETRI NETS; REAL TIME SYSTEMS;

TEMPORAL LOGIC FUZZY TIMING PETRI NETS;

FUZZY SETS;

EID: 0344241047     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1098-111X(199908)14:8<719::AID-INT2>3.0.CO;2-Q     Document Type: Article

References (17)

1. Zadeh, L. A. Inf Control 1965, 8, 338-353.
2. Zadeh, L. A. IEEE Trans Syst Man Cybernet 1973, SMC-3, 28-44.
3. Zimmermann, H. J. Fuzzy Set Theory and Its Applications; Kluwer: Norwell, MA, 1991.
4. Dubois, D.; Prade, H. Fuzzy Sets and Systems: Theory and Applications; Academic: New York, 1980.
5. Murata, T. Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets, Invited paper at the 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan; LNCS Vol 1091, pp 11-28; Springer: Berlin, 1996.
6. Murata, T.; Suzuki, T.; Shatz, S. Proceedings of the 1996 International Technical Conference on Circuits/Systems, Computers and Communications, pp 1170-1173, Seoul, Korea, July 15-17, 1996.
7. Manna, Z.; Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems; Springer-Verlag: New York, 1996.
8. Koymans, R. Specifying message passing and timed-critical systems with temporal logic, Ph.D. thesis; Eindhoven Univ. of Tech., 1989.
9. Murata, T. Proc. IEEE 1989, 77, 541-580.
10. Dubois, D.; Prade, H. Possibility Theory: an Approach to Computerized Processing of Uncertainty; Plenum: New York, 1988.
11. Dubois, D.; Prade, H. IEEE Trans. Syst Man Cybernet 1989, 19, 729-744.
12. Valette, R.; Cardoso, J.; Dubois, D. IEEE International Symposium on Intelligent Control, September 25-26, 1989, Albany, N.Y., USA.
13. de Figueiredo, J. C. A. Fuzzy Time Petri Net, Universidade Electrical Engineering Department, Federal da Paraíba, August, 1994.
14. Alur, R.; Henzinger, T. A. Real-time logics: complexity and expressiveness, Tech. report STAN-CS - 90-1307; Stanford Univ., 1990.
15. Jahanian, F.; Mok, A. K. IEEE Trans Software Eng 1986, SE-12, 890-904.
16. Alur, R.; Henzinger, T. A. Proceedings of the 30th Annual Symposium on Foundations of Computer Science, 1989; pp 164-169.
17. Suzuki, I.; Lu, H. IEEE Tran Comput 1989, 38, 696-704.