Skip to main content
SpringerLink
Log in

Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control

  • Conference paper
Applications and Theory of Petri Nets 2005 (ICATPN 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3536))

Included in the following conference series:

Abstract

State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more efficient (in some cases polynomial time) analysis and synthesis algorithms. Nevertheless computational costs can be reduced at the expense of the analyzability of some properties. Even more, some net systems do not allow any kind of continuization. The present work first considers these aspects and some of the alternative formalisms usable for continuous relaxations of discrete systems. Particular emphasis is done later on the presentation of some results concerning performance evaluation, parametric design and marking (i.e., state) observation and control. Even if a significant amount of results are available today for continuous net systems, many essential issues are still not solved. A list of some of these are given in the introduction as an invitation to work on them.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Silva, M., Colom, J.M.: On the computation of structural synchronic invariants in P/T nets. In: Rozenberg, G. (ed.) APN 1988. LNCS, vol. 340, pp. 387–417. Springer, Heidelberg (1988)

    Google Scholar 

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

    Google Scholar 

  3. Kleinrock, L.: Queuing Systems, Volume II: Computer Applications, vol. 2. Wiley, Chichester (1976)

    Google Scholar 

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

    Article  Google Scholar 

  5. Chen, H., Yao, D.: Fundamentals of Queueing Networks. Performance, Asymptotics and Optimization. In: Stochastic Modelling and Applied Probability. Applications of Mathematics, vol. 46, Springer, Heidelberg (2001)

    Google Scholar 

  6. Cassandras, C.G., Sun, G., Panayiotou, C.G., Wardi, Y.: Perturbation analysis of multiclass stochastic fluid models. In: 15th IFAC World Congress, Barcelona, Spain (2002)

    Google Scholar 

  7. David, R., Alla, H.: Continuous Petri nets. In: Proc. of the 8th European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain, pp. 275–294 (1987)

    Google Scholar 

  8. David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Heidelberg (2004)

    Google Scholar 

  9. Silva, M., Recalde, L.: Petri nets and integrality relaxations: A view of continuous Petri nets. IEEE Trans. on Systems, Man, and Cybernetics 32, 314–327 (2002)

    Article  Google Scholar 

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

    Article  MATH  Google Scholar 

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

  12. Nakamura, M., Silva, M.: An iterative linear relaxation and tabu search approach to minimum initial marking problems of timed marked graphs. In: Procs. of European Control Conference, ECC 1999, Aachen, Germany (1999)

    Google Scholar 

  13. Silva, M.: Introducing Petri nets. In: Practice of Petri Nets in Manufacturing, pp. 1–62. Chapman & Hall, Boca Raton (1993)

    Google Scholar 

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

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

    Google Scholar 

  16. Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Trans. on Computers 31, 913–917 (1982)

    Article  Google Scholar 

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

    Google Scholar 

  18. Alla, H., David, R.: Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers 8, 159–188 (1998)

    Article  MathSciNet  Google Scholar 

  19. Bemporad, A., Giua, A., Seatzu, C.: An iterative algorithm for the optimal control of continuous-time switched linear systems. In: Silva, M., Giua, A., Colom, J. (eds.) WODES 2002: 6th Workshop on Discrete Event Systems, Zaragoza, Spain, pp. 335–340. IEEE Computer Society, Los Alamitos (2002)

    Chapter  Google Scholar 

  20. Mahulea, C., Rodríguez, D., Recalde, L., Silva, M.: Choosing server semantics for continuous Petri nets: An examples driven approach. Research report, Dep. Informática e Ingeniería de Sistemas, Zaragoza, Spain, 1, 50018. Universidad de Zaragoza, María de Luna (2005) (Forthcoming)

    Google Scholar 

  21. Newell, G.F.: Applications of Queueing Theory, 2nd edn. Chapman and Hall, Boca Raton (1982)

    MATH  Google Scholar 

  22. Vandergraft, J.: A fluid model of networks of queues. Management Science 29, 1198–1208 (1983)

    Article  MATH  Google Scholar 

  23. Dai, J.: On positive Harris recurrence of multiclass queueing networks: a unified approach via fluid limit models. Annals of Applied Probability 5, 49–77 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  24. Weiss, G.: Scheduling and control of manufacturing systems — a fluid approach. In: Proceedings of the 37 Allerton Conference, pp. 577–586 (1999)

    Google Scholar 

  25. Meyn, S.P.: Sequencing and routing in multiclass queueing networks. part I: Feedback regulation. SIAM Journal on Control and Optimization 40, 741–776 (2002)

    Article  MathSciNet  Google Scholar 

  26. Meyn, S.P.: Sequencing and routing in multiclass queueing networks part II: Workload relaxations. SIAM Journal on Control and Optimization 42, 178–217 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  27. Vernon, M., Zahorjan, J., Lazowska, E.D.: A comparison of performance Petri nets and queueing network models. In: 3rd Int. Workshop on Modelling Techniques and Performance Evaluation, Paris, France (1987)

    Google Scholar 

  28. Silva, M., Campos, J.: Performance models based on Petri nets. In: Proceedings of the IMACS/IFAC Second International Symposium on Mathematical and Intelligent Models in System Simulation, Brussels, Belgium, pp. 14–21 (1993)

    Google Scholar 

  29. Chiola, G.: Petri nets versus queueing netwoks. [53], vol. 4, pp. 121–134.

    Google Scholar 

  30. Forrester, J.W.: Industrial Dynamics. MIT Press, Cambridge (1961)

    Google Scholar 

  31. Forrester, J.W.: Urban Dynamics. Productivity Press (1969)

    Google Scholar 

  32. Jiménez, E., Recalde, L., Silva, M.: Forrester diagrams and continuous Petri nets: A comparative view. In: Proc. of the 8th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2001), pp. 85–94 (2001)

    Google Scholar 

  33. Jiménez, E., Júlvez, J., Recalde, L., Silva, M.: Relaxed continuous views of discrete event systems: considerations in Forrester diagrams and Petri nets. In: Proc. of the Int. Conf. on Systems, Man and Cybernetics (SMC 2004), The Hague, The Netherlands (2004)

    Google Scholar 

  34. Mosekilde, E., Aracil, J., Allen, P.: Instabilities and chaos in nonlinear dynamic systems. Systems Dynamics Review 4, 14–55 (1988)

    Article  Google Scholar 

  35. Luenberger, D.G.: Introductions to Dynamic Systems: Theory, Models and Applications. John Wiley and Sons, New York (1979)

    Google Scholar 

  36. Silva, M., Recalde, L.: Unforced continuous Petri nets and positive systems. In: Benvenuti, L., Santis, A.D., Farina, L. (eds.) Positive Systems. Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy. LNCIS, vol. 294, pp. 55–62. Springer, Heidelberg (2003)

    Google Scholar 

  37. Farina, L., Rinaldi, S.: Positive Linear Systems. Theory and Applications. Pure and Applied Mathematics. John Wiley and Sons, New York (2000)

    MATH  Google Scholar 

  38. Benevenuti, L., Farina, L.: Positive and compartmental systems. IEEE Transacions on Automatic Control 47, 370–373 (2002)

    Article  Google Scholar 

  39. Walter, G., Contreras, M.: Compartmental Modeling With Networks. Birkhauser Boston, Basel (1999)

    MATH  Google Scholar 

  40. Chiola, G., Anglano, C., Campos, J., Colom, J., Silva, M.: Operational analysis of timed Petri nets and application to the computation of performance bounds. In: Procs. of the 5th Int. Workshop on Petri Nets and Performance Models (PNPM 1993), Toulouse, France, pp. 128–137. IEEE Computer Society Press, Los Alamitos (1993)

    Chapter  Google Scholar 

  41. Campos, J.: Performance bounds. [53], vol. 17, pp. 587–636.

    Google Scholar 

  42. Gaujal, B., Giua, A.: Optimal routing of continuous timed Petri nets. In: 15th IFAC World Congress, Barcelona, Spain (2002)

    Google Scholar 

  43. Ramirez-Trevino, A., Rivera-Angel, I., Lopez-Mellado, E.: Obsevability of discrete event systems modeled by interpreted Petri nets. IEEE Trans. on Robotics and Automation 19, 557–565 (2003)

    Article  Google Scholar 

  44. Giua, A., Seatzu, C.: Observability of Place/Transition nets. IEEE Trans. on Automatic Control 47, 1424–1437 (2002)

    Article  MathSciNet  Google Scholar 

  45. Luenberger, D.G.: Observers for multivariable systems. IEEE Trans. on Automatic Control AC-11, 190–197 (1966)

    Article  Google Scholar 

  46. Vidal, R., Chiuso, A., Soatto, S., Sastry, S.: Observability of linear hybrid systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 526–539. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  47. Júlvez, J., Jiménez, E., Recalde, L., Silva, M.: On observability in timed continuous Petri net systems. In: Franceschinis, G., Katoen, J.P., Woodside, M. (eds.) Proc. of the 1st Int. Conf. on the Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands, pp. 60–69. IEEE Computer Society Press, Los Alamitos (2004)

    Chapter  Google Scholar 

  48. Mahulea, C., Recalde, L., Silva, M.: Optimal observability for continuous Petri nets. In: 16th IFAC World Congress, Prague, Czech Republic (2005) (to appear)

    Google Scholar 

  49. Jiménez, E., Júlvez, J., Recalde, L., Silva, M.: On controllability of timed continuous petri net systems: the join free case. Research report, Dep. Informática e Ingeniería de Sistemas, Universidad de Zaragoza, María de Luna, 1, 50018 Zaragoza, Spain, Submitted to CDC-ECC 2005 (2005)

    Google Scholar 

  50. Mahulea, C., Ramirez-Trevino, A., Recalde, L., Silva, M.: On the control of continuous Petri nets under infinite server semantics. Research report, Dep. Informática e Ingeniería de Sistemas, Universidad de Zaragoza, María de Luna, 1, 50018 Zaragoza, Spain (2005)

    Google Scholar 

  51. Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35, 407–427 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  52. Júlvez, J., Bemporad, A., Recalde, L., Silva, M.: Event-driven optimal control of continuous Petri nets. In: 43rd IEEE Conference on Decision and Control (CDC 2004), Paradise Island, Bahamas (2004)

    Google Scholar 

  53. Balbo, G., Silva, M. (eds.): Proc. of Human Capital and Mobility MATCH—Performance Advanced School: Balbo, G., Silva, M. (eds.): Performance Models for Discrete Event Systems with Synchronozations: Formalisms and Analysis Techniques, Jaca, Spain (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dep. Informática e Ingeniería de Sistemas, Centro Politécnico Superior de Ingenieros, Universidad de Zaragoza, María de Luna 3, E-50012, Zaragoza, Spain

    Manuel Silva & Laura Recalde

Authors
  1. Manuel Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Laura Recalde
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. UC Riverside,  

    Gianfranco Ciardo

  2. IRISA, CNRS & INRIA, Rennes, France

    Philippe Darondeau

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Silva, M., Recalde, L. (2005). Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. In: Ciardo, G., Darondeau, P. (eds) Applications and Theory of Petri Nets 2005. ICATPN 2005. Lecture Notes in Computer Science, vol 3536. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494744_4

Download citation

  • DOI: https://doi.org/10.1007/11494744_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26301-2

  • Online ISBN: 978-3-540-31559-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation