Skip to main content
SpringerLink
Log in

Introduction to Fluid Petri Nets

  • Chapter
Control of Discrete-Event Systems

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 433))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 119.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Article  Google Scholar 

  2. 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)

    Article  Google Scholar 

  3. Brams, G.W.: Réseaux de Petri: Théorie et Pratique, Masson (1983)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. David, R., Alla, H.: Continuous Petri nets. In: Proc. 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain (1987)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets, 2nd edn. Springer, Berlin (2010)

    Book  Google Scholar 

  10. Demongodin, I., Audry, N., Prunet, F.: Batches Petri nets. In: Proc. IEEE Conference on Systems, Man and Cybernetics, vol. 1, pp. 607–617 (1993)

    Google Scholar 

  11. Chen, H., Mandelbaum, A.: Discrete flow networks: Bottleneck analysis and fluid approximations. Mathematical Operations Research 16, 408–446 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Article  MathSciNet  MATH  Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. Hillston, J.: Fluid Flow Approximation of PEPA models. In: Proc. 2nd Int. Conf. on the Quantitative Evaluation of Systems, pp. 33–42 (2005)

    Google Scholar 

  17. 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)

    Chapter  Google Scholar 

  18. Júlvez, J., Recalde, L., Silva, M.: Steady state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica 41(4), 605–616 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  19. 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)

    Article  Google Scholar 

  20. 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)

    Article  Google Scholar 

  21. 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)

    Article  MathSciNet  MATH  Google Scholar 

  22. Mahulea, C., Recalde, L., Silva, M.: Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems 4(2), 219–232 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  23. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri Nets. John Wiley and Sons (1995)

    Google Scholar 

  24. 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)

    Article  MathSciNet  Google Scholar 

  25. 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)

    Chapter  Google Scholar 

  26. Recalde, L., Silva, M.: Petri nets fluidification revisited: Semantics and steady state. European Journal of Automation APII-JESA 35(4), 435–449 (2001)

    Google Scholar 

  27. 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)

    Article  MathSciNet  MATH  Google Scholar 

  28. Silva, M.: Towards a synchrony theory for P/T nets. In: Voss, K., et al. (eds.) Concurrency and Nets, pp. 435–460 (1987)

    Google Scholar 

  29. 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)

    Google Scholar 

  30. 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)

    Article  MathSciNet  MATH  Google Scholar 

  31. 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)

    Google Scholar 

  32. 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)

    Google Scholar 

  33. 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)

    Chapter  Google Scholar 

  34. 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)

    Article  Google Scholar 

  35. 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)

    Article  Google Scholar 

  36. 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)

    Chapter  Google Scholar 

  37. 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)

    Google Scholar 

  38. 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)

    Google Scholar 

  39. Vázquez, C.R., Silva, M.: Timing and Liveness in Continuous Petri nets. Automatica 47, 283–290 (2011)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto de Investigación en Ingeniería de Aragón (I3A), University of Zaragoza, Zaragoza, Spain

    C. Renato Vázquez, Cristian Mahulea, Jorge Júlvez & Manuel Silva

Authors
  1. C. Renato Vázquez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cristian Mahulea
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jorge Júlvez
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Manuel Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to C. Renato Vázquez .

Editor information

Editors and Affiliations

  1. , Department of Electrical, University of Cagliari, Piazza D'Armi, Cagliari, 09124, Italy

    Carla Seatzu

  2. , Department of Computer Science, University of Zaragoza, Calle María de Luna 1, Zaragoza, 50018, Spain

    Manuel Silva

  3. Centrum Wiskunde & Informatica, Amsterdam, 1090 GB, Netherlands

    Jan H. van Schuppen

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation