Skip to main content
SpringerLink
Log in
Book cover

International Conference on Coordination Languages and Models

COORDINATION 2002: Coordination Models and Languages pp 220–235Cite as

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

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2315))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. L. Cardelli and A. D. Gordon, Mobile Ambients, Lecture Notes in Computer Science, vol.1378, pp.140–155, 1998.

    Google Scholar 

  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. 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. K. Hiraishi, A Petri-net-based Model for the Mathematical Analysis of Multi-agent Systems, to appear in IEICE Trans. Fundamentals.

    Google Scholar 

  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. O. Kummar and F. Wienberg, Renew—the Reference Net Workshop, Petri Net Newsletter, No.56, pp.12–16 (1999).

    Google Scholar 

  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. C. Lakos, From Coloured Petri Nets to Object Petri Nets, Lecture Notes in Computer Science, Vol.935, pp.278–297 (1995).

    Google Scholar 

  12. R. Milner, Communicating and Mobile Systems: The π-Calculus, Cambridge university press (1999).

    Google Scholar 

  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. T. Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol.77, No.4, (1989).

    Google Scholar 

  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. C. Sibertin-Blanc, Cooperative Nets, Lecture Notes in Computer Science, Vol.815, pp.471–490 (1994).

    Google Scholar 

  17. B. Thomsen, A Theory of Higher Order Communicating Systems, Information and Computation, vol.116, pp.38–57, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  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. 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. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-hall (1981).

    Google Scholar 

  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. G. Weiss (ed.), Multiagent systems—A Modern Approach to Distributed Artificial Intelligence: Chapter I, The MIT Press (1999).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai Tatusnokuchi, 923-1292, Ishikawa, Japan

    Kunihiko Hiraishi

Authors
  1. Kunihiko Hiraishi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Engineering Department, Centre for Mathematics and Computer Science, Kruislaan 413, 1098, SJ Amsterdam, The Netherlands

    Farhad Arbab

  2. SRI International, 333 Ravenswood Ave., 94025, Menlo Park, CA, USA

    Carolyn Talcott

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hiraishi, K. (2002). PN2: An Elementary Model for Design and Analysis of Multi-agent Systems. In: Arbab, F., Talcott, C. (eds) Coordination Models and Languages. COORDINATION 2002. Lecture Notes in Computer Science, vol 2315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46000-4_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-46000-4_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43410-8

  • Online ISBN: 978-3-540-46000-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation