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

Objectifs

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.

Programme de la formation

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

Validation et sanction

Attestation de formation

Type de formation

Non certifiante

Sortie

Sans niveau spécifique