PN2: An Elementary Model for Design and Analysis of Multi-agent Systems

  • Kunihiko Hiraishi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2315)


Agent technology is widely recognized as a new paradigm for design of concurrent software and systems. The aim of this paper is to give a mathematical foundation for design and analysis of multi-agent systems by means of a Petri-net-based model. The proposed model, called PN 2, is based on place/transition nets (P/T nets), which is one of the simplest classes of Petri nets. The main di.erence between PN 2s and P/T nets is that each token, representing an agent, is also a P/T net. State equation and invariants are known as standard techniques for the analysis of P/T nets. As the first step of mathematical analysis of PN 2s, we define these for PN 2s, and show how the invariants are computed in an efficient way.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Baldassari, An Environment for Object-Oriented Conceptual Programming Based on PROT Nets, Lecture Notes in Computer Science, Vol.340, pp.1–19 (1988).Google Scholar
  2. 2.
    E. Battiston, F. De Cindio, G. Mauri, OBJSA Nets: A Class of High-Level Nets Having Objects as Domains, Lecture Notes in Computer Science, Vol.340, pp.20–43 (1988).Google Scholar
  3. 3.
    O. Biberstein, D. Buchs, and N. Cuelfi, CO-OPN/2—A Specification Language for Distributed System Engineering, Technical Report 96/167, Software Engineering Laboratory, Swiss Federal Institute of Technology (1996).Google Scholar
  4. 4.
    L. Cardelli and A. D. Gordon, Mobile Ambients, Lecture Notes in Computer Science, vol.1378, pp.140–155, 1998.Google Scholar
  5. 5.
    M. Ceska, V. Janousek, and T. Vojnar, PNTalk—A Computerized Tool for Object Oriented Petri Nets Modelling, Lecture Notes in Computer Science, Vol.1333, pp.591–610 (1994).Google Scholar
  6. 6.
    J. Engelfriet, G. Leih, G. Rozenberg, Net-based Description of Parallel Objectbased Systems, Lecture Notes in Computer Science, Vol.489, pp.229–273(1990).Google Scholar
  7. 7.
    K. Hiraishi, A Petri-net-based Model for the Mathematical Analysis of Multi-agent Systems, to appear in IEICE Trans. Fundamentals.Google Scholar
  8. 8.
    K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume I, II, III, Springer-Verlag (1992, 1995, 1997).Google Scholar
  9. 9.
    O. Kummar and F. Wienberg, Renew—the Reference Net Workshop, Petri Net Newsletter, No.56, pp.12–16 (1999).Google Scholar
  10. 10.
    C. Lakos and C. Keen, LOOPN++: A New Language for Object-Oriented Petri Nets, Technical Report, R94-4, Department of Computer Science, University of Tasmania (1994).Google Scholar
  11. 11.
    C. Lakos, From Coloured Petri Nets to Object Petri Nets, Lecture Notes in Computer Science, Vol.935, pp.278–297 (1995).Google Scholar
  12. 12.
    R. Milner, Communicating and Mobile Systems: The π-Calculus, Cambridge university press (1999).Google Scholar
  13. 13.
    T. Miyamoto and S. Kumagai, A Multi Agent Net Model of Autonomous Distributed Systems, Proc. CESA’96, Symposium of Discrete Events and Manufacturing Systems, pp.619–623(1996).Google Scholar
  14. 14.
    T. Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol.77, No.4, (1989).Google Scholar
  15. 15.
    S. Philippi, System Modeling Using Object-Oriented Pr/T-Nets, Research Report No. 25/97, Institute for Computer Science, University Koblenz-Landau (1997).Google Scholar
  16. 16.
    C. Sibertin-Blanc, Cooperative Nets, Lecture Notes in Computer Science, Vol.815, pp.471–490 (1994).Google Scholar
  17. 17.
    B. Thomsen, A Theory of Higher Order Communicating Systems, Information and Computation, vol.116, pp.38–57, 1995.zbMATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    R. Valk, Petri Nets as Token Objects—An Introduction to Elementary Object Nets, Lecture Notes in Computer Science, Vol. 1420, pp.1–25 (1998).Google Scholar
  19. 19.
    R. Valk, Relating Different Semantics for Object Petri Nets, Research Report FBIHH-B-226/00, Faculty of Informatics, University of Hamburg (2000).Google Scholar
  20. 20.
    J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-hall (1981).Google Scholar
  21. 21.
    P. Ramadge, and W. M. Wonham: The Control of Discrete Event Systems, Proc. IEEE, Vol.77, No.1, pp.81–98 (1989).Google Scholar
  22. 22.
    G. Weiss (ed.), Multiagent systems—A Modern Approach to Distributed Artificial Intelligence: Chapter I, The MIT Press (1999).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Kunihiko Hiraishi
    • 1
  1. 1.School of Information ScienceJapan Advanced Institute of Science and TechnologyIshikawaJapan

Personalised recommendations