Advertisement

Multi-agent-systems based on coloured Petri nets

  • Daniel Moldt
  • Frank Wienberg
Regular Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1248)

Abstract

Based on Y. Shoham's paradigm, called Agent-Oriented Programming (AOP), multi-agent-systems are presented as a specialization of distributed, Object-Oriented systems. Equipped with knowledge, general concurrent inference mechanisms dealing with this knowledge, and a declarative agent program, these multi-agent-systems are intended to be a foundation of a new approach uniting advantages of many contributing areas: The precise semantics of Petri nets, the abstraction and encapsulation proposed in Object-Oriented approaches, and the power of logic programming, making it easy to adopt well-known AI-methods. As an example, an urban traffic information system will be designed which solves path searching problems in a distributed graph.

Keywords

Multi-Agent-System Agent-Oriented Programming Distributed Artificial Intelligence Distributed Object-Orientation Coloured Petri Net 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Battiston et al. 1991]
    E. Battiston, F. De Cindio, G. Mauri, and L. Rapanotti. Morphisms and Minimal Models for OBJSA Nets. In “Application and Theory of Petri Nets, 12th International Conference, Gjern, Denmark”, pages 455–476. University of Aarhus, IBM Deutschland (June 1991).Google Scholar
  2. [Becker and Moldt 1993]
    Ulrich Becker and Daniel Moldt. Object-Oriented Concepts for Coloured Petri Nets. In IEEE, editor, “Conference Proceedings, IEEE International Conference on Systems, Man and Cybernetics”, volume 3, pages 279–286, Le Touquet, Prankreich (17.–20. October 1993). IEEE.Google Scholar
  3. [Booch 1993]
    G. Booch. “Object-Oriented Design”. Benjamin/Cummings Redwood City, CA, 2. edition (1993).Google Scholar
  4. [Bruno 1994]
    Giorgio Bruno. “Model-based Software Engineering”. Chapman & Hall, London (1994).Google Scholar
  5. [Buchs and Guelfi 1991]
    Didier Buchs and Nicolas Guelfi. CO-OPN: A Concurrent Object Oriented Petri Net Approach. In “Application and Theory of Petri Nets, 12th International Conference, Gjern, Denmark”, pages 432–454. University of Aarhus, IBM Deutschland (June 1991).Google Scholar
  6. [Burkhard 1993]
    Hans-Dieter Burkhard. How to define agent properties — or: What is a fair agent? Technical Report, Fachbereich Informatik, Humboldt-Universität Berlin (1993).Google Scholar
  7. [Christensen and Hansen 1992]
    Søren Christensen and Niels Damgaard Hansen. Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Technical Report DAIMI PB-398, Computer Science Department, Aarhus University, DK-8000 Aarhus C, Denmark (May 1992).Google Scholar
  8. [Design/CPN 1993]
    Meta Software Corporation, Cambridge, MA, USA. “Design/CPN Handbook Version 2.0” (1993).Google Scholar
  9. [Hewitt 1973]
    P. Bishop und R. Steiger Hewitt, C. A Universal Modular ACTOR Formalism for Artificial Intelligence. In “Proceedings of the Third International Joint Conference on Artificial Intelligence”, pages 235–245 (1973).Google Scholar
  10. [Holvoet 1995]
    Tom Holvoet. Agents and Petri Nets. In O. Herzog, W. Reisig, and R. Valk, editors, “Petri Net Newsletters”, number 49 in Petri Net Newsletters (1995).Google Scholar
  11. [Jensen 1992]
    Kurt Jensen. “Coloured Petri Nets: Volume 1; Basic Concepts, Analysis Methods and Practical Use”. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin Heidelberg New York (1992).Google Scholar
  12. [Lakos and Christensen 1993]
    C. Lakos and Søren Christensen. A General Systematic Approch to Arc Extensions for Coloured Petri Nets. Technical report R93-7, Department of Computer Science, University of Tasmania, GPO Box 252C, Hobart Tasmania 7001 (August 1993).Google Scholar
  13. [Lakos 1995]
    C.A. Lakos. From Coloured Petri Nets to Object Petri Nets. In “16th International Conference on the Application and Theory of Petri Nets”, Number 935 in Lecture Notes in Computer Science, pages 278–297, Torino, Italy (1995). Springer.Google Scholar
  14. [Louden 1993]
    Kenneth C. Louden. “Programming languages: principles and practice”. PWS-Kent (1993).Google Scholar
  15. [Maier and Moldt 1996]
    Christoph Maier and Daniel Moldt. Objektorientierte Konzepte — Dargestellt mit gefärbten Petrinetzen. Fachbereichsbericht FBI-HH-M-261/96, Universität Hamburg, Fachbereich Informatik (1996). August.Google Scholar
  16. [Mattern 1989]
    F. Mattern. “Verteilte Basisalgorithmen”. Springer, Berlin (1989).Google Scholar
  17. [Moldt 1996]
    Daniel Moldt. “Höhere Petrinetze als Grundlage für Systemspezifikationen”. Dissertation, Universität Hamburg, Fachbereich Informatik (August 1996).Google Scholar
  18. [Müller 1993]
    Jürgen Müller, editor. “Verteilte Künstliche Intelligenz — Methoden und Anwendungen”. B.I., Mannheim (1993).Google Scholar
  19. [Murata and Yim 1991]
    Peter C. Nelson Murata, Tadao and Jaegeol Yim. A Predicate-Transition Net Model for Multiple Agent Planning. Information Sciences57–58, 361–384 (April 1991).Google Scholar
  20. [Murata and Zhang 1988]
    Tadao Murata and Du Zhang. A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. IEEE Transactions on Software Engineering14(4), 481–497 (April 1988).Google Scholar
  21. [Murata 1995]
    Teruhiro Shimura und Jorge Lobo Murata, Tadao. An Extended Petri Net Model for Normal Logic Programs. IEEE Transactions on Knowledge and Data Engineering7(1), 150–162 (February 1995).Google Scholar
  22. [Searle 1969]
    John R. Searle. “Speech Acts”. Cambridge University Press (1969).Google Scholar
  23. [Shoham 1993]
    Yoav Shoham. Agent-Oriented Programming. AI60, 51–92 (1993).Google Scholar
  24. [Sundermeyer 1993]
    Kurt Sundermeyer. Modellierung von Agentensystemen. In [Müller 1993]“, pages 22–54.Google Scholar
  25. [Torrance and Viola 1991]
    Mark Torrance and Paul Viola. “The AGENTO manual”. Stanford, California (1991).Google Scholar
  26. [Wienberg 1996]
    Frank Wienberg. Multiagentensysteme auf der Basis Gefärbter Petri-Netze. Diplomarbeit, Universität Hamburg, Fachbereich Informatik (1996). November.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Daniel Moldt
    • 1
  • Frank Wienberg
    • 1
  1. 1.Fachbereich Informatik, Arbeitsbereich TGIUniversität HamburgHamburg

Personalised recommendations