Reliability analysis is often based on stochastic discrete event models like Markov models or stochastic Petri nets. For complex dynamical systems with numerous components, analytical expressions of the steady state are tedious to work out because of the combinatory explosion with discrete models. Moreover, the convergence of stochastic estimators is slow. For these reasons, fluidification can be investigated to estimate the asymptotic behaviour of stochastic processes with timed continuous Petri nets. The contributions of this paper are to sum up some properties of the asymptotic mean marking and average throughputs of stochastic and timed continuous Petri nets, then to point out the limits of the fluidification in the context of the stochastic steady state approximation. To overcome these limitations, the new semantic and the condition for convergence is proposed: fluid Petri nets with Non Linear Timed Continuous Petri Net (NL-CPN).
Nabil El Akchioui,
Fluidification of Stochastic Petri Net by Non Linear Timed Continuous Petri Net, American Journal of Embedded Systems and Applications.
Vol. 5, No. 4,
2017, pp. 29-34.
Ajmone Marsa M., Chiola G. On Petri nets with deterministic and exponentially distributed firing times, Advances in Petri nets (Rozenberg G.), Springer Verlag, pp. 132-145, 1987.
Bobbio A., Puliafito A., Telek M., Trivedi K. Recent Developments in Stochastic Petri Nets, Journal of Circuits, Systems, and Computers, Vol. 8, no. 1, Feb., pp. 119—158, 1998.
Campos J., Chiola G., Silva M Ergodicity and throughut bounds of Petri nets with unique consistent firing count vector, IEEE Transactions on Software Engineering, Vol. 17, no 2, pp. 117-125, 1991.
David R., Alla H., Petri nets and grafcet – tools for modelling discrete events systems, Prentice Hall, London, 1992.
Diaz M., (Les réseaux de Petri: modèles fondamentaux, Hermes, Paris, 2001.
Júlvez G., Recalde L. Silva M. Steady-state performance evaluation of continuous mono-T- semiflow Petri nets, Automatica, Vol. 41, no. 4, pp. 605-616, 2005.
Mahulea C., Ramirez Trevino A., Recalde L., Silva M., Steady state control reference and token conservation laws in continuous Petri nets, Trans. IEEE – TASE, Vol. 5, no. 2, pp. 307–320, 2008.
Molloy M. K. On the integration of delay and troughput in distributed processing models, Ph. D, UCLA, Los Angeles, USA, 1981.
Molloy M. K., Performance analysis using stochastic Petri nets, IEEE Transactions on Computers C, vol. 31, pp. 913–917, 1982.
Rausand M. and Hoyland A. System reliability theory: models, statistical methods, and applications, Wiley, Hoboken, New Jersey, 2004.
Silva M. and Recalde L. Petri nets and integrality relaxations: a view of continuous Petri nets, Trans. IEEE – SMC, part C, Vol. 32, no. 4, pp. 314-326, 2002.
Silva M. and Recalde L. On fluidification of Petri Nets: from discrete to hybrid and continuous models, Annual Reviews in Control, Vol. 28, no. 2, pp. 253-266, 2004.
Vazquez R., Recalde L., Silva M., Stochastic continuous-state approximation of markovian Petri net systems, Proceeding IEEE – CDC08, pp. 901–906, Cancun, Mexico, 2008.
Vazquez R., Silva M., (Hybrid Approximations of Markovian Petri Nets, Proceeding IFAC – ADHS, pp. 56-61, Zaragoza, Spain, 2009.
Lefebvre D, E. Leclercq, L. Khalij, E. Souza de Cursi, N. El Akchioui, Approximation of MTS stochastic Petri nets steady state by means of continuous Petri nets: a numerical approach, Proc. IFAC ADHS, pp. 62-67, Zaragoza, Spain, 2009.
Lefebvre D, E. Leclercq, Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs, DISC, DOI: 10.1007/s10626-011-0114-y, 2011.
Lefebvre D, E. Leclercq, N. El Akchioui, L. Khalij, E. Souza de Cursi, A geometric approach for the homothetic approximation of stochastic Petri nets, Proc. IFAC WODES, Berlin, Germany, 2010.
Lefebvre D, About the stochastic and continuous Petri nets equivalence in long run, Non-Linear Analysis, Hybrid Systems (NAHS), vol. 5, pp. 394-406, 2011.
Lei, K. Xing, L. Han, F. Xiong, Z. Ge, Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search, Computers & Industrial Engineering, vol. 72, pp. 297–305, 2014.
Lefebvre. D, E. Leclercq, Control design for trajectory tracking with untimed Petri nets, accepted in IEEE Trans. Aut. Contr., to appear June 2015.
Lefebvre. D and E. Leclercq, An algorithm based on model predictive control for trajectories tracking with untimed PNs, Proc. IEEE – MED 2014, pp. 243-248, Palermo, Italy, 2014.