Nonsequential processes
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
MAAMAW '92 Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems
Modelling the Structure and Behaviour of Petri Net Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
An Automated Teamwork Infrastructure for Heterogeneous Software Agents and Humans
Autonomous Agents and Multi-Agent Systems
A Formal Model of Multi-Agent Organisations
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
A proposal for structuring Petri net-based agent interaction protocols
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Organization oriented programming: from closed to open organizations
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Hi-index | 0.00 |
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an expressive and abstract real-world reference presents a promising starting point. Organizational concepts have particularly been studied within the multi-agent systems community. However, there exists a conceptual gap between organizational specifications and their multi-agent implementation. We address this problem by presenting an integrated approach to formalize organizational models with Petri nets and to directly deploy these specifications in a multi-agent system. The operational semantics of Petri nets establishes a close link between organizational specification and deployment that eases system development and maintenance. As an important example, we are able to describe the formation of multi-agent teams in an organizational scenario in terms of Petri net dynamics.