Skip to main content
Top

2018 | OriginalPaper | Chapter

Modular Petri Net Models of Communicating Agents

A GPenSIM Approach

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Communicating agents are an important part of intelligent machines. However, modeling communicating agent with Petri nets is not an easy task as the modeling usually yields large yet less expressive models. In this paper, a modular Petri net approach is introduced for modeling communicating agents. The new approach is implemented in the tool General Purpose Petri net Simulator (GPenSIM). With this modular approach, subsystems can be modeled either as IO port-driven modules or as IO buffer-driven modules, yielding smaller yet powerful modules. In this paper: firstly, a brief literature review is presented on developing modular Petri net models. Secondly, modeling subsystems as modules are discussed. Finally, an application example is presented which involves a number of communicating agents. This work shows how modularization with GPenSIM can help modeling of large discrete systems where the communication infrastructure is dominated by communicating agents.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Literature
2.
go back to reference Song, Y.-J., Lee, J.-K.: Analysis of Petri net models using transitive matrix. In: 2000 IEEE International Conference on Systems Man and Cybernetics, vol. 4, pp. 3122–3127 (2000). ISSN 1062-922X Song, Y.-J., Lee, J.-K.: Analysis of Petri net models using transitive matrix. In: 2000 IEEE International Conference on Systems Man and Cybernetics, vol. 4, pp. 3122–3127 (2000). ISSN 1062-922X
3.
go back to reference Billington, J., Christensen, S., Van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Weber, M.: The Petri net markup language: concepts, technology, and tools. In: International Conference on Application and Theory of Petri Nets, pp. 483–505. Springer, Berlin Heidelberg, June 2003 Billington, J., Christensen, S., Van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Weber, M.: The Petri net markup language: concepts, technology, and tools. In: International Conference on Application and Theory of Petri Nets, pp. 483–505. Springer, Berlin Heidelberg, June 2003
4.
go back to reference Bucci, G., Vicario, E.: Compositional validation of time-critical systems using communicating time Petri nets. IEEE Trans. Softw. Eng. 21(12), 969–992 (1995)CrossRef Bucci, G., Vicario, E.: Compositional validation of time-critical systems using communicating time Petri nets. IEEE Trans. Softw. Eng. 21(12), 969–992 (1995)CrossRef
5.
go back to reference Lakos, C.A., Keen, C.D.: LOOPN ++: a new language for object-oriented Petri nets, Department of Computer Science, University of Tasmania (1994) Lakos, C.A., Keen, C.D.: LOOPN ++: a new language for object-oriented Petri nets, Department of Computer Science, University of Tasmania (1994)
6.
go back to reference Davis, P.K., Anderson, R.H.: Improving the composability of DoD models and simulations. J. Defense Model. Simul. Appl. Methodol. Technol. 1(1), 5–17 (2005) Davis, P.K., Anderson, R.H.: Improving the composability of DoD models and simulations. J. Defense Model. Simul. Appl. Methodol. Technol. 1(1), 5–17 (2005)
7.
go back to reference Leino, K., Rustan, M., Nelson, G.: Data abstraction and information hiding. ACM Trans. Program. Lang. Syst. (TOPLAS) 24(5), 491–553 (2002)CrossRef Leino, K., Rustan, M., Nelson, G.: Data abstraction and information hiding. ACM Trans. Program. Lang. Syst. (TOPLAS) 24(5), 491–553 (2002)CrossRef
8.
go back to reference Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. (CSUR) 17(4), 471–523 (1985)CrossRef Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. (CSUR) 17(4), 471–523 (1985)CrossRef
10.
go back to reference Davidrajuh, R.: Developing a Petri nets based real-time control simulator. Int. J. Simul. Syst. Sci. Technol. (IJSSST) 12(3), 28–36 (2012) Davidrajuh, R.: Developing a Petri nets based real-time control simulator. Int. J. Simul. Syst. Sci. Technol. (IJSSST) 12(3), 28–36 (2012)
12.
go back to reference Cameron, A., Stumptner, M., Nandagopal, N., Mayer, W., Mansell, T.: Rule-based peer-to-peer framework for decentralised real-time service oriented architectures. Sci. Comput. Program. 97, 202–234 (2015)CrossRef Cameron, A., Stumptner, M., Nandagopal, N., Mayer, W., Mansell, T.: Rule-based peer-to-peer framework for decentralised real-time service oriented architectures. Sci. Comput. Program. 97, 202–234 (2015)CrossRef
Metadata
Title
Modular Petri Net Models of Communicating Agents
Author
Reggie Davidrajuh
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-319-67180-2_32

Premium Partner