Abstract
Multi-agent systems are composed by many independent agents where the task of some of them may depend on the task of others. In this work we present a generic Stochastic Petri Net model for agents and illustrate the usage of a sound, complete and decidable logic system to verify properties in multi-agent systems modelled as Stochastic Petri Nets: the \(\mathcal{DS}_3\) logic. This logic takes advantage of the intuitive graphical interpretation of Petri Nets, allowing the user to model the behaviour of agents and their interactions by means of nets (i.e. seen Petri Nets as graphs). Our approach leads not only to a usual place-transition connection provided by Petri-nets underlying graphs modelling, such as the verification of properties and validation of agents, but also regards the verification of properties concerning their behaviour inside an environment.
The authors thank CAPES, CNPq and FAPERJ for the partial support of this research.
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
Preview
Unable to display preview. Download preview PDF.
References
Wooldridge, M.: An Introduction to MultiAgent Systems. John Wiley & Sons (2002)
Khosravifar, S.: Modeling multi agent communication activities with Petri Nets. International Journal of Information and Education Technology 3(3), 310–314 (2013)
Van Belle, W., Nose, K.: Agent mobility and reification of computational state: An experiment in migration. In: Wagner, T.A., Rana, O.F. (eds.) AA-WS 2000. LNCS (LNAI), vol. 1887, pp. 166–173. Springer, Heidelberg (2001)
Ganty, P., Majumdar, R.: Algorithmic verification of asynchronous programs. ACM Transactions on Programming Languages and Systems 34(1), 1–48 (2012)
Marsan, M.A.: Stochastic Petri Nets: An elementary introduction. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 1–29. Springer, Heidelberg (1990)
Everdij, M.H.C., Klompstra, M.B., Blom, H.A.P., Klein Obbink, B.: Compositional specification of a multi-agent system by stochastically and dynamically coloured petri nets. In: Blom, H., Lygeros, J. (eds.) Stochastic Hybrid Systems. Lecture Notes in Control and Information Science, vol. 337, pp. 325–350. Springer, Heidelberg (2006)
Holvoet, T.: Agents and petri nets. Petri Net Newsletter 49 (1995)
Perše, M., Kristan, M., Perš, J., Kovacic, S.: Recognition of multi-agent activities with Petri Nets. In: 17th International Electrotechnical and Computer Science Conference, pp. 217–220 (2008)
Rongier, P., Liégeois, A.: Analysis and prediction of the behavior of one class of multiple foraging robots with the help of stochastic petri nets. In: Proceedings of 1999 IEEE International Conference on Systems, Man, and Cybernetics, EEE SMC 1999, vol. 5, pp. 143–148 (1999)
Haas, P.J.: Stochastic Petri nets: modelling, stability, simulation. Springer (2002)
Lyon, D.: Using stochastic petri nets for real-time nth-order stochastic composition. Computer Music Journal 19(4), 13–22 (1995)
Marsan, M.A.: Stochastic petri nets: an elementary introduction. In: Miola, A. (ed.) DISCO 1990. LNCS, vol. 429, pp. 1–29. Springer, Heidelberg (1990)
Marsan, M.A., Chiola, G.: On Petri Nets with deterministic and exponentially distributed firing times. In: Rozenberg, G. (ed.) Advances in Petri Nets 1987. LNCS, vol. 266, pp. 132–145. Springer, Heidelberg (1987)
Mazigh, B., Abbas-Turki, A.: Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations. In: Petri Nets – Manufacturing and Computer Science. InTech (2012)
Babczyński, T., Magott, J.: PERT based approach to performance analysis of multi–agent systems. In: Rutkowski, L., Tadeusiewicz, R., Zadeh, L.A., Żurada, J.M. (eds.) ICAISC 2006. LNCS (LNAI), vol. 4029, pp. 1040–1049. Springer, Heidelberg (2006)
Lopes, B., Benevides, M., Haeusler, E.H.: Extending Propositional Dynamic Logic for Petri Nets. Electronic Notes in Theoretical Computer Science 305(11), 67–83 (2014)
Lopes, B., Benevides, M., Haeusler, E.H.: Propositional dynamic logic for petri nets. Logic Journal of the IGPL 22(5) (2014)
Feldman, Y.A.: A decidable propositional probabilistic dynamic logic. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, STOC 1983, pp. 298–309. ACM (1983)
Feldman, Y.A., Harel, D.: A probabilistic dynamic logic. Journal of Computer and System Sciences 28(2), 193–215 (1984)
Kozen, D.: A probabilistic pdl. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, STOC 1983, pp. 291–297. ACM (1983)
Tiomkin, M., Makowsky, J.: Propositional dynamic logic with local assignment. Theoretical Computer Science 36, 71–87 (1985)
Tiomkin, M., Makowsky, J.: Decidability of finite probabilistic propositional dynamic logics. Information and Computation 94(2), 180–203 (1991)
Lopes, B., Benevides, M., Haeusler, E.H.: Verifying properties in multi-agent systems using Stochastic Petri Nets and Propositional Dynamic Logic. In: Annals of the X Encontro Nacional de Inteligência Artificial e Computacional (2013)
Pujari, S., Mukhopadhyay, S.: Petri Net: A tool for modeling and analyze multi-agent oriented systems. International Journal of Intelligent Systems and Applications 10, 103–112 (2012)
de Almeida, E.S., Haeusler, E.H.: Proving properties in ordinary Petri Nets using LoRes logical language. Petri Net Newsletter 57, 23–36 (1999)
Nalon, C., Lopes, B., Haeusler, E.H., Dowek, G.: A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics. Electronic Notes in Theoretical Computer Science (in press)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Lopes, B., Benevides, M., Haeusler, E.H. (2015). Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. In: Bajo, J., et al. Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability. Advances in Intelligent Systems and Computing, vol 372. Springer, Cham. https://doi.org/10.1007/978-3-319-19629-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-19629-9_9
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19628-2
Online ISBN: 978-3-319-19629-9
eBook Packages: EngineeringEngineering (R0)