Abstract
The fluidization of Petri nets is a relaxation technique introduced in the literature in order to avoid the so called state explosion problem. This technique results in a model, named continuous or fluid, whose state variables (the marking at the places) take real nonnegative values. Among the implications, the fluidization opens the possibility for transferring concepts and techniques from the continuous-state systems paradigm to the discrete event systems one. In this chapter, the concept of non-forced continuous Petri net is recalled, together with the most usual firing semantics for the timed interpretation of this model. Certain properties on the resulting fluid models are described, remarking limitations and advantages found in the analysis of fluid Petri nets. The focus is on the relationships between the discrete and the continuous Petri nets. It is also discussed the quality of the relaxation, from qualitative and quantitative perspectives. In particular, questions like the preservation of liveness, boundedness or the marking evolution, are addressed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Altman, E., Jiménez, T., Koole, G.: On the comparison of Queueing Systems with their Fluid limits. Probability in the Engineering and Informational Sciences 15, 65–178 (2001)
Balduzzi, F., Giua, A., Menga, G.: First-order hybrid Petri nets: a model for optimization and control. IEEE Transactions on Robotics and Automation 16(4), 382–399 (2000)
Brams, G.W.: Réseaux de Petri: Théorie et Pratique, Masson (1983)
Champagnat, R., Esteban, P., Pingaud, H., Valette, R.: Modeling and simulation of a hybrid system through Pr/Tr PN-DAE model. In: Proc. ADPM 1998, 3rd International Conference on Automation of Mixed Processes, Reims, France, pp. 131–137 (1998)
Colom, J.M., Silva, M.: Improving the Linearly Based Characterization of P/T Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 113–145. Springer, Heidelberg (1991)
David, R., Alla, H.: Continuous Petri nets. In: Proc. 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain (1987)
David, R., Alla, H.: Autonomous and timed continuous Petri nets. In: Proc. 11th Int. Conf. on Application and Theory of Petri Nets, Paris, France (1990)
David, R., Alla, H.: Autonomous and Timed Continuous Petri Nets. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol. 674, pp. 72–90. Springer, Heidelberg (1993)
David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets, 2nd edn. Springer, Berlin (2010)
Demongodin, I., Audry, N., Prunet, F.: Batches Petri nets. In: Proc. IEEE Conference on Systems, Man and Cybernetics, vol. 1, pp. 607–617 (1993)
Chen, H., Mandelbaum, A.: Discrete flow networks: Bottleneck analysis and fluid approximations. Mathematical Operations Research 16, 408–446 (1991)
Chiola, G., Anglano, C., Campos, J., Colom, J.M., Silva, M.: Operational analysis of timed Petri nets and application to the computation of performance bounds. In: Quantitative Methods in Parallel Systems, pp. 161–174. Springer (1995)
Dai, J.G.: On positive Harris recurrence of multiclass queuing networks: A unified approach via fluid limit models. The Annals of Applied Probability 5(1), 49–77 (1995)
Ezpeleta, J., Couvreur, J.M., Silva, M.: A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Coloured Petri Nets. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol. 674, pp. 126–147. Springer, Heidelberg (1993)
Heiner, M., Gilbert, D., Donaldson, R.: Petri Nets for Systems and Synthetic Biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215–264. Springer, Heidelberg (2008)
Hillston, J.: Fluid Flow Approximation of PEPA models. In: Proc. 2nd Int. Conf. on the Quantitative Evaluation of Systems, pp. 33–42 (2005)
Júlvez, J., Recalde, L., Silva, M.: On Reachability in Autonomous Continuous Petri Net Systems. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 221–240. Springer, Heidelberg (2003)
Júlvez, J., Recalde, L., Silva, M.: Steady state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica 41(4), 605–616 (2005)
Júlvez, J., Recalde, L., Silva, M.: Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Transaction on Automatic Control 51(9), 1472–1481 (2006)
Mahulea, C., Ramírez, A., Recalde, L., Silva, M.: Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering 5(2), 307–320 (2008)
Mahulea, C., Recalde, L., Silva, M.: Basic server semantics and performance monotonicity of continuous Petri nets. Discrete Event Dynamic Systems 19(2), 189–212 (2009)
Mahulea, C., Recalde, L., Silva, M.: Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems 4(2), 219–232 (2010)
Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri Nets. John Wiley and Sons (1995)
Recalde, L., Teruel, E., Silva, M.: On linear algebraic techniques for liveness analysis of P/T systems. Journal of Circuits, Systems and Computers 8(1), 223–265 (1998)
Recalde, L., Teruel, E., Silva, M.: Autonomous Continuous P/T Systems. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 107–126. Springer, Heidelberg (1999)
Recalde, L., Silva, M.: Petri nets fluidification revisited: Semantics and steady state. European Journal of Automation APII-JESA 35(4), 435–449 (2001)
Recalde, L., Haddad, S., Silva, M.: Continuous Petri nets: expressive power and decidability issues. Int. Journal of Foundations of Computer Science 21(2), 235–256 (2010)
Silva, M.: Towards a synchrony theory for P/T nets. In: Voss, K., et al. (eds.) Concurrency and Nets, pp. 435–460 (1987)
Silva, M., Colom, J.M.: On the structural computation of synchronic invariants in P/T nets. In: Proc. 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain (1987)
Silva, M., Júlvez, J., Mahulea, C., Vázquez, C.R.: On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems 21(4), 427–497 (2011)
Silva, M., Teruel, E.: A systems theory perspective of discrete event dynamic systems: the Petri net paradigm. In: Borne, P., Gentina, J.C., Craye, E., El Khattabi, S. (eds.) Symp. on Discrete Events and Manufacturing Systems, pp. 1–12 (1996)
Silva, M., Teruel, E.: DEDS along their life cycle. Interpreted extensions of Petri nets. In: Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, San Diego, CA, USA (1998)
Silva, M., Teruel, E., Colom, J.M.: Linear Algebraic and Linear Programming Techniques for the Analysis of Net Systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 309–373. Springer, Heidelberg (1998)
Silva, M., Recalde, L.: Petri nets and integrality relaxations: A view of continuous Petri nets. IEEE Transactions on Systems, Man and Cybernetics 32(4), 314–327 (2002)
Silva, M., Recalde, L.: On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control 28, 253–266 (2004)
Trivedi, K., Kulkarni, V.G.: FSPNs: Fluid Stochastic Petri Nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 24–31. Springer, Heidelberg (1993)
Vázquez, C.R., Recalde, L., Silva, M.: Stochastic–continuous state approximation of Markovian Petri net systems. In: Proc. 47th IEEE Conference on Decision and Control, pp. 901–906 (2008)
Vázquez, C.R., Silva, M.: Timing-dependent boundedness and liveness in continuous Petri nets. In: Proc. 10th Int. Workshop on Discrete Event Systems, Berlin, Germany (2010)
Vázquez, C.R., Silva, M.: Timing and Liveness in Continuous Petri nets. Automatica 47, 283–290 (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag London
About this chapter
Cite this chapter
Vázquez, C.R., Mahulea, C., Júlvez, J., Silva, M. (2013). Introduction to Fluid Petri Nets. In: Seatzu, C., Silva, M., van Schuppen, J. (eds) Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences, vol 433. Springer, London. https://doi.org/10.1007/978-1-4471-4276-8_18
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4276-8_18
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4275-1
Online ISBN: 978-1-4471-4276-8
eBook Packages: EngineeringEngineering (R0)