MIP-Nets: A Compositional Model of Multiagent Interaction

  • Sea Ling
  • Seng Wai Loke
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2691)


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.


Multiagent System Compositional Model Interaction Protocol Agent Role Initiator Agent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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. [2]
    W. v. Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.CrossRefGoogle Scholar
  3. [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.zbMATHGoogle Scholar
  4. [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. [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.CrossRefGoogle Scholar
  6. [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. [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. [8]
    J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.Google Scholar
  9. [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. [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. [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. [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. [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. [14]
    T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–80, April 1989.Google Scholar
  15. [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. [16]
    M. Singh. Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous Agents and Multi-Agent Systems, 3(2):107–132, June 2000.CrossRefGoogle Scholar
  17. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Sea Ling
    • 1
  • Seng Wai Loke
    • 1
  1. 1.School of Computer Science and Software EngineeringMonash UniversityAustralia

Personalised recommendations