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

Code UE : RCP207-PAR01

  • Cours
  • 6 crédits
  • Volume horaire de référence
    (+ ou - 10%) : 50 heures

Responsable(s)

Kamel BARKAOUI

Public, conditions d’accès et prérequis

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 à évènements 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.
 

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

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

  • 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).
  • van der Aalst, Wil : Process Mining Data Science in Action

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

Centre(s) d'enseignement proposant cette formation

  • Centre Cnam Paris
    • 2023-2024 2nd semestre : FOAD 100%
    Comment est organisée cette formation ?

    Organisation de la modalité FOAD 100%

    Planning

    Aucun planning pour le moment

    Précision sur la modalité pédagogique

    • Regroupements physiques facultatifs : Aucun

    Organisation du déploiement de l'unité

    • Délai maximum de réponse à une solicitation : sous 96 heures (Jours ouvrés)

    Modes d'animation de la formation

    • Visioconférence
    • Outils numériques de travail collaboratif
    • Organisation d'une séance de démarrage
    • Evaluation de la satisfaction
    • Hot line technique

    Ressources mises à disposition sur l'Espace Numérique de Formation

    • Documents de cours
    • Enregistrement de cours
    • Documents d'exercices, études de cas ou autres activités pédagogiques
    • Outils spécifiques (exerciseur, simulateurs, etc)
    • Bibliographie et Webographie

    Activités "jalons" de progression pédagogique prévues sans notation obligatoire à rendre ou en auto-évaluation

    • 2 études de cas, projets collectifs
    • 1 étude de cas, projet individuel

    Modalité de contrôle de l'acquisition des compétences et des connaissances (validation de l'UE)

    • Examens en ligne
    • Oraux par visioconférence
    • Projet(s) individuel(s)
    • Projet(s) collectif(s)
    :