Petri nets: an introduction
G-Nets: a Petri net based approach for logical and timing analysis of complex software systems
Journal of Systems and Software
Software agents
On agent-based software engineering
Artificial Intelligence
Representing social structures in UML
Proceedings of the fifth international conference on Autonomous agents
Multi-Agent-Systems Based on Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Coloured Petri Nets Extended with Channels for Synchronous Communication
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A Framework for Modeling Agent-Oriented Software
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Bourdieus Habitus-Konzept als pragendes Strukturelement fur Multiagentensysteme
Bourdieus Habitus-Konzept als pragendes Strukturelement fur Multiagentensysteme
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Multi-Agent System: A Guiding Metaphor for the Organization of Software Development Projects
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
Models and Tools for Mulan Applications
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
A Monitoring Toolset for Paose
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Introducing a Process Infrastructure for Agent Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
Agent Models for Concurrent Software Systems
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Coordination, Organizations, Institutions and Norms in Agent Systems IV
A Formal Model for Organisational Structures behind Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
SONAR/OREDI: a tool for creation and deployment of organisation models
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
Model-based testing approach for mobile agents using the paradigm of reference net
Multiagent and Grid Systems
Generating executable multi-agent system prototypes from SONAR specifications
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Formal semantics for AUML agent interaction protocol diagrams
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Reference and value semantics are equivalent for ordinary object petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Towards a distributed tool platform based on mobile agents
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Applying multi-agent concepts to dynamic plug-in architectures
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Providing an agent flavored integration for workflow management
Transactions on Petri Nets and Other Models of Concurrency V
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
The Reachability Problem for Object Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
A Formal Model of Multi-Agent Organisations
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Concurrency in Mobile Object Net Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Modeling smart home using the paradigm of nets within nets
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
| Hi-index | 0.00 |
This work proposes a way to model the structure and behaviour of agents in terms of executable coloured Petri net protocols. Structure and behaviour are not all aspects of agent based computing: agents need a world to live in (mostly divided into platforms), they need a general structure (e.g. including a standard interface for communication) and their own special behaviour. Our approach tackles all three parts in terms of Petri nets. This paper skips the topic of agent platforms and handles the agent structure briefly to introduce a key concept of our work: the graphical modelling of the behaviour of autonomous and adaptive agents. A special kind of coloured Petri nets is being used throughout the work: reference nets. Complex agent behaviour is achieved via dynamic composition of simpler sub-protocols, a task that reference nets are especially well suited for. The inherent concurrency of Petri nets is another point that makes it easy to model agents: multiple threads of control are (nearly) automatically implied in Petri nets.