High-level Petri nets: theory and application
High-level Petri nets: theory and application
KQML as an agent communication language
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
An Improvement of McMillan's Unfolding Algorithm
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Addressing False Causality while Detecting Predicates in Distributed Programs
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Modeling multiple interactions using coloured petri nets: a case study
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Supporting the development of multi-agent interactions via roles
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Hi-index | 0.01 |
This paper focuses on the study of the pragmatics of multiagent systems design, proposing an efficient approach for the interaction protocol engineering. This approach combines two complementary paradigms: 1) Distributed observation is used to capture the concurrent events inherent to the interactions between agents, through causal dependency, in order to explain the relationships within conversations or group utterances; 2) Colored Petri Nets are used as a suitable formalism to identify interaction-oriented designs while providing the means to model, analyze, and validate large scale applications.