Global Model For The Management Of Operating Modes In Discrete Event Systems

Formal modelling techniques can be exploited for the operating modes management in discrete event systems (DES). In this context, this paper presents a coloured Petri nets (CP- nets) based approach modelling and managing system behaviour on the basis of a multi-model design. Each model (CP-net) represents an operating mode of the system which is activated when exceptional events occur, such as failure, loss of a resource or failed resource recovery. Based on supervisory control theory, the proposed approach designs automatically a global CP- net model via a developed algorithm. Generated model takes into consideration the aspects of mode activation/deactivation, starting state and handling of resource states common to multiple operating modes.Add to the simulation possibility, formal verification of the global CP-net properties is also enabled based on the proposed CP-net model. Such feasibility represents one of the major differences distinguishing the proposed method of all the existing simulators dedicated to operating mode management.