Temporal uncertainty and fuzzy-timing high-level petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1091, Issue , 1996, Pages 11-28

  Murata, Tadao ^a  

^a 1120 Science and Engineering Offices   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

FUZZY DELAY; FUZZY TIMESTAMP; HIGH-LEVEL PETRI NET MODELING; HIGH-LEVEL PETRI NETS; SET-THEORETIC FUNCTIONS; TEMPORAL UNCERTAINTY; TIME FUNCTION; TIME-CRITICAL APPLICATIONS;

UNCERTAINTY ANALYSIS;

EID: 84957629048     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_2     Document Type: Conference Paper

References (19)

1. [Pet66] C.A. Petri, "Kommunikation mit Automaten." Bonn: Institut fur Instrumentelle Mathematik, Schriften des IIM Nr. 3, 1962, also, English translation, "Communication with Automata," New York: Griffiss Air Force Base, Tech. Rep. RADC-TR-65-377, Vol. 1, Suppl. 1, 1966.
2. [Pet87] C.A. Petri,. '"Forgotten Topics' of Net Theory," in Procs. of the 1987 Advanced Course in Petri Nets - Part II, Lecture Notes in Computer Science, Vol. 255, Springer- Verlag, New York, pp. 500-514, 1987.
3. [Pet96] C.A. Petri, "Nets, Time and Space," Theoretical Computer Science, 153 (1996), pp. 3-48.
4. [Mur89] T. Murata, "Petri Nets: Properties, Analysis and Applications," Proceedings of the IEEE, Vol. 77, No 4, April, 1989, pp. 541-580.
5. [Zad65] L.A. Zadeh, "Fuzzy Sets," Information and Control, Vol. 8, pp. 338-353, 1965.
6. [Zad73] L.A. Zadeh, "Outline of a New Approach to the Analysis of Complex Systems and Decision Processes," IEEE Tram, on Systems, Man, and Cybernetics, Vol.-SMC-3, No. 1, Jan. 1973.
7. [Zim9] H. J. Zimmermann, Fuzzy Set Theory and its Applications, Kluwer Academic Publishers, Norwell, Massachusetts, 1991.
8. [DP80] D. Dubois and H. Prade, "Fuzzy Sets and Systems: Theory and Applications," Academic Press, Inc., New York, 1980.
9. [MSS9] T. Murata, T. Suzuki, and S. Shatz, "A Fuzzy-Timing Petri Net Model and its Application to a Real-Time Network Protocol," in preparation, 1996.
10. [VCD89] Valette, R., Cardoso, J., Dobois, D., "Monitoring Manufacturing Systems by Means of Petri Nets with Imprecise Markings," IEEE International Symposium on Intelligent Control, September 25-26, 1989, Albany, N.Y., USA.
11. [DP88] D. Dubois and H. Prade, "Possibility Theory: an Approach to Computerized Processing of Uncertainty," Plenum Press, New York, 1988.
12. [DP89] D. Dubois and H. Prade, "Processing Fuzzy Temporal Knowledge," IEEE Trans., on Systems, Man, and Cybernetics, Vol. 19, No. 4, July/August 1989, pp. 729-744.
13. [Mer76] P.M. Merlin, "A Methodology for the Design and Implementation of Communication Protocols," IEEE Trans, on Communications, Vol. COM-24, No. 6, pp. 614-621, June 1976.
14. [deF94] J. C. A. de Figueiredo, "Fuzzy Time Petri Net," PhD Dissertation, Universidade Electrical Engineering Department, Federal da Paraíba, August, 1994.
15. [FPC94] J. C. A. de Figueiredo, A. Perkursich, and S.K. Chang, "Timing Analysis of Real-Time Software Systems Using Fuzzy Time Petri Nets," In Procs. of the 6th International Conference on Software Engineering and Knowledge Engineering, Riga, Latvia, June 1994.
16. [vdA92] W. van der Aalst, "Timed Coloured Petri Nets and their Applications to Logistics," PhD. thesis, Eindhoven Univ. of Technology, Eindhoven, 1962.
17. [vdA93] W. van der Aalst, "Interval Timed Colored Petri Nets and their Analysis," Application and Theory of Petri Nets 1993 (Procs. of the 14th Int. Conf. on Application and Theory of Petri Nets, Chicago, IL USA, June 21-25, 1993), pp. 453-472, LNCS 691, Springer-Verlag.
18. [Jen92] K. Jensen, "Coloured Petri Nets," Vol. 1 and Vol. 2, EATCS Monographs on Theoretical Computer Science, Springer - Verlag, 1992 and 1994.
19. [GMMP91] C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezze, "A Unified High-Level Petri Net Formalism for Time-Critical Systems," IEEE Trans, on Software Engineering, Vol. 17, No. 2, Feb. 1991, pp. 160-172.