Abstract
This paper discusses an approach to deal with temporal uncertainty and introduces fuzzy timing in a high-level Petri net model. The main features of the present model are the four fuzzy set theoretic functions of time called fuzzy timestamp, fuzzy enabling time, fuzzy occurrence time and fuzzy delay, all of which capture temporal uncertainty in a form not violating the axiom of measurement recently proposed by Dr. Petri. Fuzzy-timing nets are suitable for time-critical applications since fuzzy time functions can be computed very fast.
This work was supported by the NSF under Grant CCR-93-21743.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
C.A. Petri, “Kommunikation mit Automaten.” Bonn: Institut für 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.
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.
C.A. Petri, “Nets, Time and Space,” Theoretical Computer Science, 153 (1996), pp. 3–48.
T. Murata, “Petri Nets: Properties, Analysis and Applications,” Proceedings of the IEEE, Vol. 77, No 4, April, 1989, pp. 541–580.
L. A. Zadeh, “Fuzzy Sets,” Information and Control, Vol. 8, pp. 338–353, 1965.
L.A. Zadeh, “Outline of a New Approach to the Analysis of Complex Systems and Decision Processes,” IEEE Trans, on Systems, Man, and Cybernetics, Vol.-SMC-3, No. 1, Jan. 1973.
H. J. Zimmermann, Fuzzy Set Theory and its Applications, Kluwer Academic Publishers, Norwell, Massachusetts, 1991.
D. Dubois and H. Prade, “Fuzzy Sets and Systems: Theory and Applications,” Academic Press, Inc., New York, 1980.
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.
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.
D. Dubois and H. Prade, “Possibility Theory: an Approach to Computerized Processing of Uncertainty,” Plenum Press, New York, 1988.
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.
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.
J. C. A. de Figueiredo, “Fuzzy Time Petri Net”, Ph.D Dissertation, Universidade Electrical Engineering Department, Federal da Paraiba, August, 1994.
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.
W. van der Aalst, “Timed Coloured Petri Nets and their Applications to Logistics,” Ph.D. thesis, Eindhoven Univ. of Technology, Eindhoven, 1962.
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.
K. Jensen, “Coloured Petri Nets,” Vol. 1 and Vol. 2, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992 and 1994.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Murata, T. (1996). Temporal uncertainty and fuzzy-timing high-level Petri nets. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_2
Download citation
DOI: https://doi.org/10.1007/3-540-61363-3_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61363-3
Online ISBN: 978-3-540-68505-0
eBook Packages: Springer Book Archive