Keyword: agents

• Cabac, Lawrence; Moldt, Daniel:
  Formal Semantics for AUML Agent Interaction Protocol Diagrams. 2005.

• Köhler, Michael; Ortmann, Jan:
  Service Modeling Based on High-Level Petri Nets. 2005.

• Reza, Hassan; Grant, Emanuel S.:
  A Formal Approach to Software Architecture of Agent-Base Systems. ITCC (1) 2004. 2004.

• Hsieh, Fu-Shiung:
  Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets. 2004.

• Cabac, Lawrence; Moldt, Daniel; Rölke, Heiko:
  A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. 2003.

• Gou, Hongmei; Huang, Biqing; Liu, Wenhuang; Li, Xiu:
  A framework for virtual enterprise operation management. 2003.

• Ankolekar, Anupriya; Huch, Frank; Sycara, Katia:
  Concurrent Execution Semantics of DAML-S with Subtypes. 2002.

• Di Marzo Serugendo, Giovanna:
  A Formal Development and Validation Methodology applied to Agent-Based Systems. 2001.

• Köhler, Michael; Langer, Roman; Moldt, Daniel; Rölke, Heiko:
  Combining the Sociological Theory Bourdieu's with Multi Agent Systems. 2000.

• Holvoet, T.; Kielmann, T.:
  Behavior specification of active objects in open generative communication environment. 1997.

• Bednarczyk, M.A.; Bernardinello, L.; Pawlowski, W.; Pomello, L.:
  From Petri hypernets to 1-safe nets. 06.

• Cabac, Lawrence; Dirkner, Ragna; Rölke, Heiko:
  Moelling Service Dependencies for the Analysis and Design of Multi-Agent Applications. 06.

Back to the Petri Nets Bibliography