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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Popova-Zeugmann, L.: Time and Petri Nets. Springer, Heidelberg (2013)
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
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
Bucci, G., Vicario, E.: Compositional validation of time-critical systems using communicating time Petri nets. IEEE Trans. Softw. Eng. 21(12), 969–992 (1995)
Lakos, C.A., Keen, C.D.: LOOPN ++: a new language for object-oriented Petri nets, Department of Computer Science, University of Tasmania (1994)
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)
Leino, K., Rustan, M., Nelson, G.: Data abstraction and information hiding. ACM Trans. Program. Lang. Syst. (TOPLAS) 24(5), 491–553 (2002)
Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. (CSUR) 17(4), 471–523 (1985)
Davidrajuh, R.: General purpose Petri net simulator (GPenSIM). http://www.davidrajuh.net/gpensim/
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.: Modular Petri net model with GPenSIM. http://www.davidrajuh.net/gpensim/CONF/2017/SOCO-Modular-PN
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Davidrajuh, R. (2018). Modular Petri Net Models of Communicating Agents. In: Pérez García, H., Alfonso-Cendón, J., Sánchez González, L., Quintián, H., Corchado, E. (eds) International Joint Conference SOCO’17-CISIS’17-ICEUTE’17 León, Spain, September 6–8, 2017, Proceeding. SOCO ICEUTE CISIS 2017 2017 2017. Advances in Intelligent Systems and Computing, vol 649. Springer, Cham. https://doi.org/10.1007/978-3-319-67180-2_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-67180-2_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-67179-6
Online ISBN: 978-3-319-67180-2
eBook Packages: EngineeringEngineering (R0)