||June 2, 2011
||Assoc. Prof. Frantisek Capkovic, Institute of Informatics, Slovak Academy of Sciences
||Modularity and Supervision in Agents Cooperation
The agents and agent systems are viewed here as Discrete Event Systems
The modelling, analyzing and control of DES by means of Petri nets (PN)
are presented. Two principle approaches to agent cooperation are
introduced, namely, the modularity and supervision. Three kinds of
modularity are mentioned in dependency on the structure of cooperation
of PN models of autonomous agents - the cooperation by means of PN
transitions, by means of PN places and by means of PN modules. Two kinds
of supervision are presented - the supervision based on PN place
invariants and the more general case based on PN places, on PN
transitions and on the PN Parikh's vector.
Hybrid agents modelled by hybrid Petri nets, more precisely by FOHPN
(First Order Hybrid Petri Nets) are presented and the cooperation of
them is synthesized.