Having observed the need from the state of the art concerning crisis management, a formal expression is proposed. In the case of neighbour crisis series, the crisis management plans (CMPs) are merged into one and the level of complexity could be increased. A formal approach to control crisis management systems (CMS) is then introduced, which is studied as a discrete event system (DES). Based on the supervisory control theory (SCT), a multi-model approach is used to define the behavior of each CMP separately as well as its different control strategies through the use of prioritized colored Petri nets (PCPN). Finally, a global CMS model is provided. It is generated using an algorithm and ensures the control of CMPs evolution thanks to the operating modes management. In addition to the simulation and the formal validation of some safety properties, the global model incorporates concepts of common operating mode and of common sub-behavior in order to be of a reasonable size.