Skip to main content
SpringerLink
Log in

MIP-Nets: A Compositional Model of Multiagent Interaction

  • Conference paper
  • First Online:
Multi-Agent Systems and Applications III (CEEMAS 2003)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2691))

Abstract

We show how to translate interaction protocols in AUML to equivalent Petri net specifications. A novelty of our approach is that the Petri nets are modular, clearly separating the protocol from the interaction behaviour of agents induced by their participation in the protocol, yet compositional. Our model can serve at least two purposes in multiagent systems engineering: firstly, specification and verification, and secondly, as a basis for synthesising skeleton code of interacting agents from specifications in the spirit of interaction-oriented programming.

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W. v. Aalst. Structural characterizations of sound workflow nets. Technical report, Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven, 1996.

    Google Scholar 

  2. W. v. Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.

    Article  Google Scholar 

  3. W. v. Aalst. Interorganizational work.ows: An approach based on message sequence charts and Petri nets. Systems Analysis—Modelling—Simulation, 34(3):335–67, 1999.

    MATH  Google Scholar 

  4. W. v. Aalst and T. Basten. Inheritance of workflows: an approach to tackling problems related to change. Technical report, Computing Science Reports 99/06, Eindhoven University of Technology, Eindhoven, 1999.

    Google Scholar 

  5. B. Bauer, J.P. Müller, and J. Odell. Agent UML: A formalism for specifying multiagent interaction. In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering, pages 91–103. Springer-Verlay, Berlin, 2001.

    Chapter  Google Scholar 

  6. S. Chachkov and D. Buchs. From formal specifications to ready-to-use software components: The concurrent object oriented petri net approach. In Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD’01), pages 99–110, June 2001.

    Google Scholar 

  7. R. Cost, Y. Chen, T. Finin, Y. Labrou, and Y. Peng. Modeling agent conversations with colored petri nets. In Proc. 9th Int’l Joint Conference on Artificial Intelligence (IJCAI’99), 1999.

    Google Scholar 

  8. J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.

    Google Scholar 

  9. J.M. Fernandes and O. Belo. Modeling multi-agent systems activities through colored Petri nets: An industrial production system case study. In 16th IASTED Int’l Conference on Applied Informatics (AI’98), pages 17–20, 1998.

    Google Scholar 

  10. N. Hameurlain. Formal semantics for behavioural substitutability of agent components: Application to interaction protocols. In 2nd Int’l Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS’01), pages 131–40, 2002.

    Google Scholar 

  11. S. Ling and S. Loke. Advanced petri nets for modelling mobile agent enabled interorganizational workflow. In Proc. 9th Int’l Conference on Engineering of Computer-Based Systems (ECBS2002), pages 245–52, 2002.

    Google Scholar 

  12. H. Mazouzi, A. El Fallah-Seghrouchni, and S. Haddad. Open protocol design for complex interactions in multiagent systems. In 1st Int’l Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’02), pages 517–25, 2002.

    Google Scholar 

  13. D. Moldt and F. Wienberg. Multi-agent-systems based on coloured Petri nets. In 18th Int’l Conference on Application and Theory of Petri Nets 1997, pages 82–101, 1997.

    Google Scholar 

  14. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–80, April 1989.

    Google Scholar 

  15. D. Poutakidis, L. Padgham, and M. Winikoff. Debugging multi-agent systems using design artifacts: The case of interaction protocols. In Proc. 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), 2002.

    Google Scholar 

  16. M. Singh. Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous Agents and Multi-Agent Systems, 3(2):107–132, June 2000.

    Article  Google Scholar 

  17. H. Xu and S.M. Shatz. A framework for modeling agent-oriented software. In 21st Int’l Conference on Distributed Computing Systems (ICDCS-21), pages 57–64, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Software Engineering, Monash University, P O Box 197, VIC 3145, Australia

    Sea Ling & Seng Wai Loke

Authors
  1. Sea Ling
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Seng Wai Loke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Electrical Engineering, Dept. of Cybernetics, Czech Technical University, 16627, Praha 6, Czech Republic

    Vladimír Mařík  & Michal Pěchouček  & 

  2. Siemens AG, CT, IC 6, Otto-Hahn-Ring 6, 81730, München, Germany

    Jörg Müller

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ling, S., Loke, S.W. (2003). MIP-Nets: A Compositional Model of Multiagent Interaction. In: Mařík, V., Pěchouček, M., Müller, J. (eds) Multi-Agent Systems and Applications III. CEEMAS 2003. Lecture Notes in Computer Science(), vol 2691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45023-8_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-45023-8_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40450-7

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation