Supervision of Agents Modelling Evacuation at Crisis Situations

  • František Čapkovič
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7327)


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.


Agent cooperation crisis situation discrete-event systems evacuation modularity place/transition Petri nets supervision workflow 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Čapkovič, F.: Modelling, Analysing and Control of Interactions among Agents in MAS. Computing and Informatics 26, 507–541 (2007)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Čapkovič, F.: DES Control Synthesis and Cooperation of Agents. In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS (LNAI), vol. 5796, pp. 596–607. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  3. 3.
    Čapkovič, F.: A Modular System Approach to DES Synthesis and Contro. In: 2009 IEEE Conference on Emerging Technologies & Factory Automation - ETFA 2009. CD ROM, 8 pages. IEEE Press, Piscataway (2009)Google Scholar
  4. 4.
    Čapkovič, F.: Automatic Control Synthesis for Agents and their Cooperation in MAS. Computing and Informatics 29, 1045–1071 (2010)MathSciNetGoogle Scholar
  5. 5.
    Čapkovič, F.: Cooperation of Agents in Manufacturing Systems. In: Jędrzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds.) KES-AMSTA 2010. LNCS, vol. 6070, pp. 193–202. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  6. 6.
    Čapkovič, F.: Supervision in Synthesis of Agents Cooperation. International Journal of Information Science 1(1), 24–31 (2011)Google Scholar
  7. 7.
    Iordache, M.V., Antsaklis, P.J.: Supervision Based on Place Invariants: A Survey. Discrete Event Dynamic Systems 16, 451–492 (2006)MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Iordache, M.V., Antsaklis, P.J.: Supervisory Control of Concurrent Systems: A Petri Net Structural Approach. Birkhauser, Boston (2006)zbMATHGoogle Scholar
  9. 9.
    Iordache, M.V.: Methods for the supervisory control of concurrent systems based on Petri nets abstraction. Ph.D. dissertation, University of Notre Dame, USA (2003)Google Scholar
  10. 10.
    Lino, P., Maione, G.: Applying a Discrete Event System Approach to Problems of Collective Motion in Emergency Situations. In: Klingsch, W.W.F., Rogsch, C., Schadschneider, A., Schreckenberg, M. (eds.) Pedestrian and Evacuation Dynamics 2008, pp. 465–477. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  11. 11.
    Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  12. 12.
    van der Aalst, W.M.P.: Three Good reasons for Using a Petri-net-based Workflow Management System. In: Wakayama, T., Kannapan, S., Khoong, C.M., Navathe, S., Yates, J. (eds.) Information and Process Integration in Enterprises: Rethinking Documents, ch. 10, pp. 161–182. Kluwer Academic Publishers, Boston (1998)CrossRefGoogle Scholar
  13. 13.
    van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of Workflow Nets: Classification, Decidability, and Analysis. Formal Aspects of Computing 23(3), 333–363 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  14. 14.
    Wang, J., Rosca, D., Tepfenhart, W., Milewski, A.: Incident Command System Workflow Modeling and Analysis: A Case Study. In: Van de Walle, B., Turoff, M. (eds.) Proceedings of the 3rd International ISCRAM (Information Systems for Crisis Response and Management) Conference, Newark, NJ (USA), pp. 127–136. ISCRAM Association, Brussels (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • František Čapkovič
    • 1
  1. 1.Institute of InformaticsSlovak Academy of SciencesBratislavaSlovak Republic

Personalised recommendations