Skip to main content
Erschienen in:
Buchtitelbild

2017 | OriginalPaper | Buchkapitel

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

verfasst von : František Čapkovič

Erschienen in: Automation 2017

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat 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)CrossRef 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)CrossRef
2.
Zurück zum Zitat 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)CrossRefMATH 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)CrossRefMATH
3.
Zurück zum Zitat 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)MathSciNetMATH 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)MathSciNetMATH
4.
Zurück zum Zitat Č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 CrossRef Č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 CrossRef
5.
Zurück zum Zitat Č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 Č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
6.
Zurück zum Zitat Č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 CrossRef Č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 CrossRef
7.
Zurück zum Zitat Čapkovič, F.: Automatic control synthesis for agents and their cooperation in MAS. Comput. Inf. 29(6+), 1045–1071 (2010)MathSciNet Čapkovič, F.: Automatic control synthesis for agents and their cooperation in MAS. Comput. Inf. 29(6+), 1045–1071 (2010)MathSciNet
8.
Zurück zum Zitat Čapkovič, F.: Timed and hybrid petri nets at solving problems of computational intelligence. Comput. Inf. 34(4), 746–778 (2015)MathSciNet Čapkovič, F.: Timed and hybrid petri nets at solving problems of computational intelligence. Comput. Inf. 34(4), 746–778 (2015)MathSciNet
11.
12.
Zurück zum Zitat 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)CrossRef 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)CrossRef
13.
Zurück zum Zitat 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)CrossRef 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)CrossRef
14.
Zurück zum Zitat Iordache, M., Antsaklis, P.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, Boston (2006)MATH Iordache, M., Antsaklis, P.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, Boston (2006)MATH
15.
Zurück zum Zitat Iordache, M.V., Antsaklis, P.J.: Supervision based on place invariants: a survey. Discret. Event Dynam. Syst. Theor. Appl. 16(4), 451–492 (2006)MathSciNetCrossRefMATH Iordache, M.V., Antsaklis, P.J.: Supervision based on place invariants: a survey. Discret. Event Dynam. Syst. Theor. Appl. 16(4), 451–492 (2006)MathSciNetCrossRefMATH
16.
Zurück zum Zitat Iordache, M.V., Antsaklis, P.J.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, Boston (2006)MATH Iordache, M.V., Antsaklis, P.J.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhäuser, Boston (2006)MATH
17.
Zurück zum Zitat 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) 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)
18.
Zurück zum Zitat 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) 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)
19.
Zurück zum Zitat 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) 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)
20.
Zurück zum Zitat Moody, J., Antsaklis, P.: Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, Norwell (1998)CrossRefMATH Moody, J., Antsaklis, P.: Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer Academic Publishers, Norwell (1998)CrossRefMATH
21.
Zurück zum Zitat Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)CrossRef Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)CrossRef
22.
Zurück zum Zitat Peterson, J.L.: Petri Nets Theory and the Modelling of Systems. Prentice-Hall Inc., Englewood Cliffs (1981)MATH Peterson, J.L.: Petri Nets Theory and the Modelling of Systems. Prentice-Hall Inc., Englewood Cliffs (1981)MATH
25.
Zurück zum Zitat 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
26.
Zurück zum Zitat 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 CrossRef 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 CrossRef
27.
28.
Zurück zum Zitat 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 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
30.
Zurück zum Zitat Yamalidou, E., Moody, J., Lemmon, M., Antsaklis, P.: Feedback control of petri nets based on place invariants. Automatica 32(1), 15–28 (1996)MathSciNetCrossRefMATH Yamalidou, E., Moody, J., Lemmon, M., Antsaklis, P.: Feedback control of petri nets based on place invariants. Automatica 32(1), 15–28 (1996)MathSciNetCrossRefMATH
31.
Zurück zum Zitat Zhou, M.C., Venkatesh, K.: Modeling, Simulation, and Control of Flexible Manufacturing Systems. World Scientific, London (2000) Zhou, M.C., Venkatesh, K.: Modeling, Simulation, and Control of Flexible Manufacturing Systems. World Scientific, London (2000)
Metadaten
Titel
Petri Nets in Discrete-Event and Hybrid Systems Modelling, Analysing, Performance Evaluation and Control
verfasst von
František Čapkovič
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-54042-9_1