Fuzzy timed Petri nets - analysis and implementation. (English) Zbl 1161.68618

Ding, Zouhua; Bunke, Horst; Kipersztok, Oscar; Schneider, Mti; Kandel, Abraham

Math. Comput. Modelling 43, No. 3-4, 385-400 (2006).

Summary: In [Zouhua Ding, H. Bunke, M. Schneider and A. Kandel Math. Comput. Modelling 41, No. 2-3, 345–360 (2005; Zbl 1101.68061)], we posed two fuzzy timed Petri Net

•  nLab
•  Wikipedia

models. Based on the mark changing rate, they can be classified either as a discrete Fuzzy Timed Petri Net model (discrete-FTPN), or as a continuous Fuzzy Timed Petri Net model (continuous-FTPN). In this paper, we present an algorithm developed to compute reachable states for discrete-FTPN models. We also present properties of the continuous-FTPN model, which are used to describe the system’s behavior. From the investigation presented in this paper, we conclude that it is easier to implement a discrete-FTPN model, but for a theoretical study the continuous-FTPN model is better.

© Elsevier Ltd

MSC:

68Q85	Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03E72	Theory of fuzzy sets, etc.

Keywords:

fuzzy timed Petri nets; fuzzy time interval; fuzzy differentiation; fuzzy integral; variable speed approach

Citations:

Zbl 1101.68061

References:

[1]	Ding, Z.; Bunke, H.; Schneider, M.; Kandel, A., Fuzzy timed Petri net — definitions, properties and applications, Math. Comput. Modelling, 41, 345-360, 2005 · Zbl 1101.68061
[2]	C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, Massachusetts Inst. Tech., Project MAC, Tech. Rep., 120, February 1974
[3]	Merlin, P.; Faber, D. J., Recoverability of communication protocols, IEEE Trans. Commun., COM-24, 9, 1976 · Zbl 0362.68096
[4]	W.M. Zuberek, Timed Petri nets and preliminary performance evaluation, in: Proc. 7th Annu. Symp. Comput. Architecture, 1980, pp. 88–96
[5]	Sifakis, J., Petri nets for performance evaluation, 75-93
[6]	Pedrycz, W.; Camargo, H., Fuzzy timed Petri nets, Fuzzy Sets and Systems, 140, 2, 301-330, 2003 · Zbl 1047.68089
[7]	M.A. Marsan, G. Balbo, G. Conte, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, in: Proc. Performance 83, ACM Sigmetrics, October 1983, pp. 198–199
[8]	R. Valette, J. Cardoso, D. Dubois, Monitoring manufacturing system by means of Petri nets with imprecise marking, in: IEEE international Symposium on Intelligent Control, Albany, NY, USA, September 25–26, 1989, pp. 233-238
[9]	Murata, T.; Suzuki, T.; Shatz, Sol M., Fuzzy-timing high-level Petri nets (FTHNs) for time-critical systems, 88-114 · Zbl 0947.68101
[10]	Kunzle, L. A.; Valette, R.; Pradin-Chezalviel, B., Temporal reasoning in fuzzy time Petri nets, 146-173 · Zbl 0947.68103
[11]	J. Cardoso, R. Valette, D. Dubois, Fuzzy Petri nets: an overview, in: 13th world Congress of IFAC, V.I: Identification II, Discrete Event Systems, San Francisco,CA, USA, June 30–July 5, 1996, pp. 443–448
[12]	Puri, M. L.; Ralescu, D. A., Fuzzy random variables, J. Math. Anal. Appl., 114, 409-422, 1986 · Zbl 0592.60004
[13]	Puri, M. L.; Ralescu, D. A., Differentials for fuzzy functions, J. Math. Anal. Appl., 91, 552-558, 1983 · Zbl 0528.54009
[14]	Radstrom, H., An embedding theorem for spaces of convex sets, Proc. Amer. Math. Soc., 3, 165-169, 1952 · Zbl 0046.33304
[15]	R. David, H. Alla, Continuous Petri nets, in: 8th European Workshop on Application and Theory of Petri Nets, Saragosse (E), June 1987, pp. 275–294
[16]	Hirsch, M. W.; Smale, S., Differential equations, dynamical systems and linear algebra, Pure Appl. Math., 60, 1974 · Zbl 0309.34001
[17]	Kaufmann, A.; Gupta, M. M., Fuzzy Mathematical Models in Engineering and Management Science, 1988 · Zbl 0683.90024
[18]	Zimmermann, H. J., Fuzzy Set Theory and its Applications, 1996 · Zbl 0845.04006