Modélisation et Analyse de Systèmes Orientés Processus

Code UE : RCP207

  • Cours
  • 6 crédits

Responsable national

Kamel BARKAOUI

Responsable opérationnel

Kamel BARKAOUI

Public et conditions d'accès

Avoir le niveau du cycle préparatoire de l'EICNAM ou équivalent (licence).
Public concerné : Élèves ingénieurs (filières RSM, IMO, AISL, ISI) & Etudiants en master Informatique
 

Objectifs pédagogiques

Le but général de ce cours est la maîtrise de méthodes et algorithmes pour concevoir, analyser et contrôler les systèmes orientés processus tels que les processus métiers, les systèmes orientés service, les systèmes informatiques, les systèmes automatisés de production, les protocoles de communication.
Les approches développées se basent sur la théorie des graphes, l'algèbre linéaire ainsi que sur des formalismes de la concurrence (notamment les systèmes à évenements discrets et ceux dérivés des réseaux de Petri ) qui permettent notamment la visualisation de comportements parallèles (synchronisation de processus et partage de ressources) et la synthèse de contrôleur.

Compétences visées

Modélisation vérification et contrôle de systèmes orientes processus : processus métiers, systèmes orientés services, systèmes automatisés de production, workflow , process mining, systèmes informatiques, protocoles de communication.
 

Contenu

Cours et conférences d'approfondissement
Exposés d'élèves (bibliographie, synthèse).
 

Modalité d'évaluation

Contrôle continu + réalisation d'un projet (avec soutenance).
 

Bibliographie

  • Li, Z. W. and M. C. Zhou : Deadlock Resolution in Automated Manufacturing Systems?A Novel Petri Net Approach, Springer, London, (2009).
  • Liu, G. and K. Barkaoui : Necessary and sufficient liveness condition of GS3PR Petri nets
  • Barkaoui, K. and R. Ben Ayed : Uniform Verification of Workflow Soundness
  • Barkaoui, K , J. Couvreur and K. Klai : On the Equivalence between Deadlock Freeness and Liveness in Petri Nets, 26th Int. Conf. on Application and Theory of Petri Nets, Lecture Notes in Computer Sci
  • Fanti, M. P. and M. C. Zhou : Deadlock control methods in automated manufacturing systems,? IEEE Trans. Syst. Man Cybern. A, Vol. 34, No. 1, pp. 5?22 (2004).

Cette UE apparaît dans les diplômes et certificats suivants

Chargement du résultat...
Patientez
Type
Intitulé
Equipe pédagogique
Modalité(s) / Lieu(x)
Code
Equipe pédagogique Informatique
Modalité(s) / Lieu(x)
  • Enseignée en formation présentielle et/ou partiellement à distance : Paris
  • Equipe pédagogique Informatique
    Modalité(s) / Lieu(x)
  • Enseignée en formation présentielle et/ou partiellement à distance : Bretagne, Centre, Grand Est, Hauts de France, Nouvelle Aquitaine, Paris
  • Type Intitulé Equipe pédagogique Modalité(s) / Lieu(x) Code

    Contact

    EPN05 - Informatique
    2 rue Conté
    75003 Paris
    Tel :01 40 27 22 58
    Swathi Rajaselvam

    Voir les dates et horaires, les lieux d'enseignement et les modes d'inscription sur les sites internet des centres régionaux qui proposent cette formation

    UE

      • Paris
        • Paris
          • 2018-2019 1er semestre : Présentiel
          • 2019-2020 1er semestre : Présentiel
          • 2020-2021 1er semestre : Présentiel