Agent Cooperation: A Petri Net Based Model

A Formal Model of Multi-Agent Organisations

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)

Design and modeling of the multi-agent robotic system: SMART

Robotics and Autonomous Systems

A formal approach for the modelling and verification of multiagent plans based on model checking and petri nets

Software Engineering for Multi-Agent Systems III

A Formal Model of Multi-Agent Organisations

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)

A cooperative multi-agent robotics system: Design and modelling

Expert Systems with Applications: An International Journal