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


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.

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
 

Compétences :

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.
 

Méthodes de validation :

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

Contenu de la formation :

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

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

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

  • CYC9106A : Diplôme d'ingénieur Spécialité informatique parcours Cybersécurité
  • CYC9102A : Diplôme d'ingénieur Spécialité informatique parcours Informatique modélisation optimisation

Prochaines sessions de formation

Filtres :
Centre de formation Semestre
2023/2024
Jours de
formation
Modalité Crédits    
Paris Semestre 2 6 crédits (1)

Date de début des cours (*) :

  • 05/02/2024

* Les dates fournies sont d'ordre général à toutes les formations.
  Les cours pour cette formation peuvent potentiellement commencer un peu plus tard dans le semestre.

Ajouter au panier
Contacter le centre
Légende :
Tarif (1) :

Vous pouvez consulter nos tarifs ici.
Selon votre statut, il existe différents dispositifs de financement qui peuvent financer jusqu'à 100 % de votre formation. Nos chargés de formation en centre vous accompagneront pour constituer votre dossier.

Date de début de cours :
  • Île-de-France :
    • 1er semestre et annuel : 02/10/2023
    • 2e semestre : 19/02/2024
  • Paris :
    • 1er semestre et annuel : 18/09/2023
    • 2e semestre : 05/02/2024

Les dates fournies sont d'ordre général à toutes les formations. Les cours pour cette formation peuvent potentiellement commencer un peu plus tard dans le semestre.

Annuel :

Il s'étend de fin septembre / début octobre à début juillet (dates indicatives, renseignez-vous auprès de votre centre).

Semestre 1 :

Il s'étend de fin septembre / début octobre à fin janvier / début février (dates indicatives, renseignez-vous auprès de votre centre).

Semestre 2 :

Il s'étend de fin février / début mars à début juillet (dates indicatives, renseignez-vous auprès de votre centre).

Cours du soir :

Les cours commencent le plus souvent à 18h30 dans les centres.

  Cours en journée :

Se renseigner auprès du centre pour connaître les horaires.

Cours en ligne :

les cours sont diffusés sous forme de séances numériques via une plateforme d’e-learning animées et tutorées par un enseignant. Des séances de regroupement en visio sont proposées.

  Classe virtuelle :

L'enseignant à distance intervient en direct et en visioconférence sur la plateforme d'e-learning. Il complète son intervention par des activités interactives (exercices échanges…)

  Cours en ligne hybride :

Cette modalité associe des cours en ligne tutorées et des regroupements en présentiel obligatoires.

  Cours hybrides :

Cette modalité mixe des cours en présentiel (en cours du soir ou en journée) et des cours en ligne.

  Cours en ligne organisés par un autre
centre CNAM Régional :

Les cours sont diffusés sous forme de séances numériques via une plateforme d'e-learning animées et tutorées par un enseignant.

Recherche en cours