MOFED : Modèles et Formalismes à Evénements Discrets

Keys Words

Discrete event models, verification, validation, specification, design, synthesis, knowledge engineering





Permanent Members

AMMOUR RabahMaitre de Conférences
Courriel :
BRENNER LeonardoMaitre de Conférences
Courriel :
Page personnelle :
DEMONGODIN IsabelProfesseur des Universités
Courriel :
FRYDMAN ClaudiaProfesseur des Universités
Courriel :
HAMRI MaamarMaitre de Conférences
Courriel :


Phd Studients

GRELLET EmelineDoctorant
Courriel :
KHEMIRI AbdelhakDoctorant
Courriel :
LIU RuotianDoctorant
Courriel :


Other staff members


Research interests

The research project Discrete Event Models and Formalims (DEMoF) aims to develop methodologies for design, verification and validation of dynamic systems. In various areas, the same classes of models with analytical techniques more or less different can be found – in the field of software engineering, especially in the specification and verification of timed systems, or in the field of automation and production engineering in the study of control systems and performance evaluation. Indeed, the design of dynamic systems (computer or automated systems) must include the various stages of specification, validation and implementation, and has also to manage distribution (sharing resources) and synchronization (communication) constraints. While making models depends on the considered system and on the problems to be solved, the design or the analysis of complex systems requires combining different formalisms and methods. In this interdisciplinary context, the themes developed in this project include:

  • theoretical contributions in formalisms of discrete event systems
  • discovering and structuring knowledge for building discrete event models, and
  • validation and verification of models.


Research Activity

Among the mathematical formalisms included in system theory, dynamic models of Discrete EVent Specification (DEVS), Petri Nets (PN) and automata are discrete event paradigms studied in this project. The research activities include:

  • Capital contributions and theoretical extensions of these formalisms: time, continuous or fluid extension, while maintaining an event study methodology,
  • Establishment of links between various DES formalisms and/or analytical methods associated with them,
  • Formal verification of DEVS formalisms, and
  • Synthesis of DEVS models and Petri net models.


Scientific publications