Modélisation et Analyse de Systèmes Orientés Processus
Code UE : RCP207
- 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
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.
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.
Contenu
Cours et conférences d'approfondissement
Exposés d'élèves (bibliographie, synthèse).
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).
- van der Aalst, Wil : Process Mining Data Science in Action
Cette UE apparaît dans les diplômes et certificats suivants
Rechercher une formation
RECHERCHE MULTI-CRITERES
Plus de critères de recherche sont proposés:
-
Vous pouvez sélectionner des formations grâce à un mot ou à une expression (chaîne de caractères) présent dans l’intitulé de la formation, sa description ou ses index (discipline ou métier).
Des mots-clés sont suggérés à partir du 3e caractère saisi, mais vous pouvez aussi rechercher librement. - Les différents items sélectionnés sont croisés.
ex: "Comptabilité" et "Diplôme" - Les résultats comprennent des formations de la région (UE, diplômes, certificats, stages) et des formations proposées à distance par d'autres centres du Cnam.
- Les codes des formations à Paris se terminent par le suffixe PAR01 (pour le centre Cnam Paris) et PAR02 (pour Cnam Entreprises).
- Certains diplômes se déclinent selon plusieurs parcours. Pour afficher tous les parcours, tapez la racine du code (ex : « LG035 »).
- Dans tous les cas, veillez à ne pas insérer d'espace ni de ponctuation supplémentaire.
Plus de critères de recherche sont proposés:
- Type de diplôme
- Niveau d'entrée
- Modalité de l'enseignement
- Programmation semestrielle
Chargement du résultat...
Intitulé de la formation |
Type |
Modalité(s) |
Lieu(x) |
|
---|---|---|---|---|
Intitulé de la formation
Diplôme d'ingénieur Spécialité informatique Parcours Cybersécurité
|
Type
Diplôme d'ingénieur
|
Lieu(x)
À la carte
|
||
Intitulé de la formation
Diplôme d'ingénieur Spécialité informatique Parcours Cybersécurité
|
Type
Diplôme d'ingénieur
|
Lieu(x)
Alternance
|
||
Intitulé de la formation
Diplôme d'ingénieur Spécialité informatique Parcours Cybersécurité
|
Type
Diplôme d'ingénieur
|
Lieu(x)
Package
|
Lieu(x)
Grand-Est
|
|
Intitulé de la formation | Type | Modalité(s) | Lieu(x) |
Contact
Voir le calendrier, le tarif, les conditions d'accessibilité et les modalités d'inscription dans le(s) centre(s) d'enseignement qui propose(nt) cette formation.
Enseignement non encore programmé
Code UE : RCP207
- Cours
- 6 crédits
- Volume horaire de référence
(+ ou - 10%) : 50 heures
Responsable(s)
Kamel BARKAOUI