Abstract
A possibility how the principles of modularity and supervision can be utilized at synthesis of the agent cooperation is pointed out in this paper. Subsystems modelling agents of different kinds are understood to be discrete-event systems modules. They are modelled by means of place/transition Petri nets (P/T PN). A desired strategy of the mutual behaviour of agents during their cooperation is expressed by conditions for the discrete-event systems (DES) based supervisor synthesis. Then, the synthesized supervisor obtrudes the cooperation strategy on the agents at the realization of a common job. Such a procedure can be utilized step by step also at the synthesis of more complicated structures of cooperating modules (e.g. groups of agents) in order to achieve a prescribed behaviour of the global structure altogether. The supervisor synthesis is realized either by means of the P/T PN place invariants (P-invariants) or in virtue of the extended method where P-invariants are complemented by conditions imposed on P/T PN transitions and/or on the Parikh’s vector (especially in order to express priorities). The soundness of the approach is illustrated by simple examples.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
