Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Petri Nets in Discrete-Event and Hybrid Systems Modelling, Analysing, Performance Evaluation and Control

  • Conference paper
  • First Online:
Automation 2017 (ICA 2017)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 550))

Included in the following conference series:

Abstract

Place/transition Petri nets, timed Petri nets (here time expresses the duration of separate operations) are used here in order to model, analyse, evaluate performance, and control discrete-event systems. Typical representatives of discrete-event systems are flexible manufacturing systems, transport systems, communication systems, etc. Hybrid Petri nets, more precisely first-order hybrid Petri nets, are used here in order to model, analyse and control hybrid systems. Typical representatives of hybrid systems are manufacturing systems in general - industrial production systems. The systems in question usually consist of cooperating subsystems (modules, agents). Particular approaches are illustrated on four case studies.

F. Čapkovič—Partially supported by the Slovak Grant Agency for Science VEGA under grant # 2/0029/17.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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

Similar content being viewed by others

References

  1. Balduzzi, F., Giua, A., Menga, G.: First-order hybrid petri nets: a model for optimization and control. IEEE Trans. Robot. Autom. 16(4), 382–399 (2000)

    Article  Google Scholar 

  2. Balduzzi, F., Giua, A., Seatzu, C.: Modelling and simulation of manufacturing systems using first-order hybrid petri nets. Int. J. Prod. Res. 39(2), 255–282 (2011)

    Article  MATH  Google Scholar 

  3. Balduzzi, F., Di Febbraro, A., Giua, A., Seatzu, C.: Decidability results in first-order hybrid petri nets. Discrete Event Dyn. Syst. Theor. Appl. 11(1–2), 41–57 (2011)

    MathSciNet  MATH  Google Scholar 

  4. Čapkovič, F.: DES control synthesis and cooperation of agents. In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS (LNAI), vol. 5796, pp. 596–607. Springer, Heidelberg (2009). doi:10.1007/978-3-642-04441-0_52

    Chapter  Google Scholar 

  5. Čapkovič, F.: Cooperation of hybrid agents in models of manufacturing systems. In: O’Shea, J., Nguyen, N.T., Crockett, K., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2011. LNCS (LNAI), vol. 6682, pp. 221–230. Springer, Heidelberg (2011). doi:10.1007/978-3-642-22000-5_24

    Google Scholar 

  6. Čapkovič, F.: Petri net-based synthesis of agent cooperation by means of modularity and supervision principles. In: Dimirovski, G.M. (ed.) Complex Systems. SSDC, vol. 55, pp. 429–450. Springer, Cham (2016). doi:10.1007/978-3-319-28860-4_20

    Chapter  Google Scholar 

  7. Čapkovič, F.: Automatic control synthesis for agents and their cooperation in MAS. Comput. Inf. 29(6+), 1045–1071 (2010)

    MathSciNet  Google Scholar 

  8. Čapkovič, F.: Timed and hybrid petri nets at solving problems of computational intelligence. Comput. Inf. 34(4), 746–778 (2015)

    MathSciNet  Google Scholar 

  9. David, R., Alla, H.: On hybrid petri nets. Discrete Event Dynam. Syst. Theor. Appl. 11(1–2), 9–40 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  10. Desel, J., Reisig, W.: Place/transition petri nets. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 122–173. Springer, Heidelberg (1998). doi:10.1007/3-540-65306-6_15

    Chapter  Google Scholar 

  11. Dijkstra, E.: Hierarchical ordering of sequential processes. Acta Informatica 1(2), 115–138 (1971)

    Article  MathSciNet  Google Scholar 

  12. Dotoli, M., Fanti, M., Iacobellis, G., Mangini, A.M.: A first-order hybrid petri net model for supply chain management. IEEE Trans. Autom. Sci. Eng. 6(4), 744–758 (2009)

    Article  Google Scholar 

  13. Holliday, M.A., Vernon, M.K.: A generalized timed petri net model for performance analysis. IEEE Trans. Softw. Eng. SE–13(12), 1297–1310 (1987)

    Article  Google Scholar 

  14. Iordache, M., Antsaklis, P.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, Boston (2006)

    MATH  Google Scholar 

  15. Iordache, M.V., Antsaklis, P.J.: Supervision based on place invariants: a survey. Discret. Event Dynam. Syst. Theor. Appl. 16(4), 451–492 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  16. Iordache, M.V., Antsaklis, P.J.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, Boston (2006)

    MATH  Google Scholar 

  17. Iordache, M.V.: Methods for the supervisory control of concurrent systems based on petri nets abstraction. Ph.D. dissertation, University of Notre Dame, Notre Dame, Indiana, USA (2003)

    Google Scholar 

  18. Kubera, Y., Mathieu, P., Picault, S.: Everything can be agent!. In: van der Hoek, W., Kaminka, G.A., Lespérance, Y., Luck, M., Sen, S. (eds.) Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems - AAMAS 2010, pp. 1547–1548. Canada, Toronto (2010)

    Google Scholar 

  19. MengChu, Z., Venkatesh, K.: Modeling, Smulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific Publishing Co., Ptt. Ltd., River Edge (1999)

    Google Scholar 

  20. Moody, J., Antsaklis, P.: Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, Norwell (1998)

    Book  MATH  Google Scholar 

  21. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  22. Peterson, J.L.: Petri Nets Theory and the Modelling of Systems. Prentice-Hall Inc., Englewood Cliffs (1981)

    MATH  Google Scholar 

  23. Popova-Zeugmann, L.: Time petri nets: theory, tools and applications, Part 1, 2 (2008) http://www2.informatik.hu-berlin.de/popova/1-part-short.pdf, http://www2.informatik.hu-berlin.de/popova/2-part-short.pdf

  24. Reisig, W.: Petri nets. An Introduction. Springer, Heidelberg (1985)

    Book  MATH  Google Scholar 

  25. Ramamoorthy, C.V., Ho, G.S.: Performance evaluation of asynchronous concurrent systems using petri nets. IEEE Trans. Softw. Eng. SE–6(5), 440–449 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  26. Sessego, F., Giua, A., Seatzu, C.: HYPENS: a matlab tool for timed discrete, continuous and hybrid petri nets. In: Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 419–428. Springer, Heidelberg (2008). doi:10.1007/978-3-540-68746-7_28

    Chapter  Google Scholar 

  27. Sifakis, J.: Performance evaluation of systems using nets. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol. 84, pp. 307–319. Springer, Heidelberg (1980). doi:10.1007/3-540-10001-6_30

    Chapter  Google Scholar 

  28. Wang, J.: Petri nets for dynamic-event driven system modeling. In: Fishwick, P.A. (ed.) Handbook of Dynamic System Modeling, pp. 24-1–24-16. Chapman & Hall/CRC, Taylor & Francis Group, Boca Raton (2007). chap. 24

    Google Scholar 

  29. Wang, J.: Timed Petri Nets. Kluwer Academic Publishers, Boston (1998)

    Book  MATH  Google Scholar 

  30. Yamalidou, E., Moody, J., Lemmon, M., Antsaklis, P.: Feedback control of petri nets based on place invariants. Automatica 32(1), 15–28 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  31. Zhou, M.C., Venkatesh, K.: Modeling, Simulation, and Control of Flexible Manufacturing Systems. World Scientific, London (2000)

    Google Scholar 

Download references

Acknowledgement

The author thanks the Slovak Grant Agencies VEGA (grants # 2/0039/13 and # 2/0029/17) for the partial support.

Author information

Authors and Affiliations

  1. Institute of Informatics, Slovak Academy of Sciences, Dúbravská cesta 9, 845 07, Bratislava, Slovak Republic

    František Čapkovič

Authors
  1. František Čapkovič
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to František Čapkovič .

Editor information

Editors and Affiliations

  1. Industrial Research Institute for Automation and Measurements PIAP, Warsaw, Poland

    Roman Szewczyk

  2. Industrial Research Institute for Automation and Measurements PIAP, Warsaw, Poland

    Cezary Zieliński

  3. Industrial Research Institute for Automation and Measurements PIAP, Warsaw, Poland

    Małgorzata Kaliczyńska

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Čapkovič, F. (2017). Petri Nets in Discrete-Event and Hybrid Systems Modelling, Analysing, Performance Evaluation and Control. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds) Automation 2017. ICA 2017. Advances in Intelligent Systems and Computing, vol 550. Springer, Cham. https://doi.org/10.1007/978-3-319-54042-9_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-54042-9_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-54041-2

  • Online ISBN: 978-3-319-54042-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation