La Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, le département d’informatique et le laboratoire LINFI organisent, les 05 et 06 Mai 2014, des cours sur :

« Réseaux de Petri: Concepts et Applications »

Ces cours seront présenté par Mr Baarir Souhieb, maitre de conférence à l’université Paris 10 (Nanterre), et chercheur permanent au laboratoire de Paris 6 (LIP6). Les cours se dérouleront selon le programme suivant :

Lundi 05/05/2014 :

A partir de 8 -30 :

-          Introduction aux Réseaux de Petri ;

-          Réseaux de Petri coloré bien formé ;

-          Logique Temporelle ;

-          Analyse Symétrique ;

Mardi 06/05/2014 :

A partir de 8 -30 :

-          Introduction aux processus stochastiques et aux chaines de markov ;

-          Les Réseaux de Petri Stochastiques ;

-          L’outil de modélisation et vérification : GSPN.

• Les cours se dérouleront au niveau de la salle audio-visuelle ;

Tous les enseignants, les doctorants et les étudiants sont cordialement invités ;