MIP-nets: A compositional model of multiagent interaction

DOI10.1007/3-540-45023-8_8MaRDI QIDQ4813428zbMATH OpenFDO

Authors Sea Ling, S. W. Loke

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2691/26910061.htm

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• Modelling the structure and behaviour of Petri net agents
• scientific article; zbMATH DE number 1822264
• Model checking multi-agent systems with logic based Petri nets
• scientific article; zbMATH DE number 1515290
• Modelling of an interactive system with an agent-based architecture using Petri nets, application of the method to the supervision of a transport system

Cited in

(5)

• Model checking multi-agent systems with logic based Petri nets
• RIO: Roles, interactions and organizations
• Refinement of open protocols for modelling and analysis of complex interactions in multi-agent systems
• MIC*: algebraic agent environment
• VIPER: A VIsual Protocol EditoR

This page was built for publication: MIP-nets: A compositional model of multiagent interaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813428)