Methods for the supervisory control of concurrent systems based on petri net abstractions
Methods for the supervisory control of concurrent systems based on petri net abstractions
Supervision Based on Place Invariants: A Survey
Discrete Event Dynamic Systems
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
DES Control Synthesis and Cooperation of Agents
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
A modular system approach to DES synthesis and control
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Cooperation of agents in manufacturing systems
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Soundness of workflow nets: classification, decidability, and analysis
Formal Aspects of Computing
Hi-index | 0.00 |
The main aim of this paper is to point out that the agent cooperation based on supervision can be utilized also in crisis situations. The approach is applied to an evacuation of an endangered area (EA). The supervisors for agents modelling crisis situations are synthesized and presented here. This makes possible not only the agent cooperation in itself but also to check the evacuation process and guarantee full evacuation of people from EA. Place/transitions Petri Nets (P/T PN) are utilized in order to model the elementary autonomous agents being modules of EA. The supervision of agents is based on the DES (discrete-event systems) control theory. It is realized by means of known DES supervision methods. The proposed approach is illustrated in details on the supervision-based cooperation of agents in a case study of evacuation. The corresponding evacuation workflow is proposed by means of PN too. Moreover, the supervision is applied also in case of the workflow.