%0 Journal Article
%T Supervision in Synthesis of Agents Cooperation
%J International Journal of Information Science
%@ 2163-193X
%D 2011
%I 
%R 10.5923/j.ijis.20110101.04
%X The discrete-event systems (DES) modularity and supervision are utilized at synthesis of the agents cooperation. The agents are understood to be (DES) modules. They are described by place/transition Petri-nets (P/T PN)[5]. A desired strategy of the agents behaviour during the cooperation is expressed by conditions for synthesizing the DES supervisor. Then the strategy is forced on agents. Such a procedure can be utilized step-by-step also at the synthesis of more complex structures of co-operating modules (groups of agents) in order to achieve a prescribed behaviour of the global structure. The approach is illustrated by examples.
%K Agent Cooperation
%K Petri Nets
%K Supervision
%K Supervisor Synthesis
%U http://article.sapub.org/10.5923.j.ijis.20110101.04.html