Systèmes à événements discrets (4 Jours)
Numéro de version : 1
Date de la dernière mise à jour : 20/09/2021
Introduction
En raison de la complexité croissante des systèmes technologiques, il est nécessaire de maîtrises des méthodes et d’outils de modélisation, de conception, de réalisation, de commande efficaces. Il s’agit de mettre en évidence des disfonctionnements voir des pannes. Il existe plusieurs langages de modélisation et les outils qui les implémentent. Ces outils, selon les modèles qu’ils représentent, permettent de simuler et de vérifier certaines propriétés. Ceci permet de suivre le fonctionnement du système pour détecter les faiblesses et éventuellement détecter des pannes. L’objectif de cette formation est de présenter la modélisation des systèmes à événements discret à l’aide des Réseaux de Petri. Ces Réseaux ont été développés pour permettre la modélisation, l’évaluation et le diagnostic de systèmes à événements discrets (systèmes de production, systèmes automatisés, systèmes informatiques, systèmes de communication). Les Réseaux de Petri Stochastiques ne seront pas abordés. Cette formation comporte 50 % de pratique sur des cas d’utilisation concret.
Objectifs pédagogiques
- Comprendre les Systèmes à événements discret
- Modéliser, diagnostiquer les SED
- Comprendre et pratiquer les différents types de Réseaux de Pétri
Participants
- Informaticiens
- Automaticiens
- Ingénieurs
- Chercheurs
Pré-requis
- Bac+2 en science et techniques
- Algèbre matricielle, espaces vectoriels, algorithmique
Programme
- Introduction à la Théorie des Système
- Systèmes à Evènements Discrets (SED)
- Définitions, Exemples et Propriétés
- Cas d'étude
- Notions de Base sur les Réseaux de Petri (RdP)
- Concepts
- Eléments
- Marquage d’un RdP
- Fonctionnement et Dynamique d’un RdP (Transition, Marquage, Couverture)
- Représentation Matricielle
- Eléments de Modélisation et Propriétés
- Parallélisme et Concurrence
- Synchronisation Mutuelle/ par signal
- Partage de Ressources
- Conflits Structurels/Effectifs
- Capacité Limitée
- Mémorisation
- Propriétés des Réseaux de Petri (structurelles, comportementales et composantes)
- Les Réseaux de Petri Colorés (RDPC)
- Description
- Comportement
- Définition
- Les Réseaux de Petri Temporisés
- Introduction du Temps dans les RdP
- Timestamps des Jetons
- Temps de Sensibilisation d’une Transition
- Temporisation des Jetons Produits
Equipe pédagogique
Les formations sont dispensées par des formateurs-trices ayant tous au minimum un Bac+5 en informatique (Master 2 ou diplôme d'ingénieur). La majorité de nos formateurs ont un doctorat en informatique. Tous les formateurs-trices Codataschool ont plus de 5 ans d’expertise sur la formation concernée et au moins 3 ans d'expérience dans la formation.
Nos prérequis pour les formateurs :
Nos prérequis pour les formateurs :
- Bac+5 à Bac+8 en informatique
- 3 ans d'expérience pédagogique en informatique
- 5 ans d'expertise technique
- aimer la transmission
- sensibilisé.e aux enjeux de mixité et diversité dans l'Intelligence Artificielle
- avoir signé la charte Codataschool et contribuer régulièrement aux échanges de bonnes pratiques
Organisation
Moyens pédagogiques et techniques
- Accueil des stagiaires dans une salle dédiée à la formation.
- Documents supports de formation projetés.
- Exposés théoriques
- Etude de cas concrets
- Quiz en salle
- Mise à disposition en ligne de documents supports à la suite de la formation.
Dispositif de suivi de l'exécution de l'évaluation des résultats de la formation
- Feuilles de présence.
- Questions orales ou écrites (QCM).
- Mises en situation.
- Formulaires d'évaluation de la formation.
- Certificat de réalisation de l'action de la formation.
Modalités pédagogiques : Nos formations peuvent se dérouler aussi bien en présentiel qu'à distance. Nous disposons de tous les moyens nécessaires pour leur bonne mise en oeuvre dans le respect des mesures sanitaires.
Personnalisation : Les programmes sont personnalisables en fonction de vos besoins. Il vous suffit de nous le demander par mail : info at codataschool.com ou par téléphone au 01 45 30 05 46
Situation de handicap : Nos formations sont accessibles aux personnes en situation de handicap. Les aspects, l’accessibilité et le type de handicap au regard des modalités d’accompagnement pédagogiques sont à évoquer impérativement au cours de l’entretien préalable à toute contractualisation afin de pouvoir orienter ou accompagner au mieux les personnes en situation de handicap.
Réponses : Nous vous répondrons dans les meilleurs délais en fonction de l’ordre d’arrivée des demandes et de leur nombre.
Délais : Nous programmerons les formations en fonction de vos contraintes et de nos disponibilités.
Personnalisation : Les programmes sont personnalisables en fonction de vos besoins. Il vous suffit de nous le demander par mail : info at codataschool.com ou par téléphone au 01 45 30 05 46
Situation de handicap : Nos formations sont accessibles aux personnes en situation de handicap. Les aspects, l’accessibilité et le type de handicap au regard des modalités d’accompagnement pédagogiques sont à évoquer impérativement au cours de l’entretien préalable à toute contractualisation afin de pouvoir orienter ou accompagner au mieux les personnes en situation de handicap.
Réponses : Nous vous répondrons dans les meilleurs délais en fonction de l’ordre d’arrivée des demandes et de leur nombre.
Délais : Nous programmerons les formations en fonction de vos contraintes et de nos disponibilités.