Automatismes et SED

RdP Réseaux de Petri

RdP = outil de modélisation
" Outil de modélisation orienté vers la représentation des SED dont les variables d'états évoluent brusquement d'une valeur à l'autre sans qu'il soit nécessaire de représenter les phénomènes transitoires. "

Exemples :

C’est-à-dire les SED..

Systèmes de commande Procédés ou systèmes commandés par modèles à ED Systèmes automatiques (commande et procédé)
karen.godary@lirmm.fr Polytech' Montpellier, ERII4 - Cours "Automatismes et SED " 2

RdP = outil de modélisation
Mode d'évolution asynchrone.

Modèle par excellence des applications réparties et bien sûr des protocoles de communication (parallélisme et synchronisation). Permet :
la simulation la validation formelle de propriétés l'évaluation de performances (par simulation ou par calcul formel sur des extensions du modèle comportant des données statistiques ou stochastiques).

Représentation graphique simple.

karen.godary@lirmm.fr

Polytech' Montpellier, ERII4 - Cours "Automatismes et SED "

3

godary@lirmm.Cours "Automatismes et SED " 4 .Réseau de Petri : base RdP autonomes = la base Place : un état du système Transition : changement d'état Jeton : état actuel du système transition sensibilisée franchissement (tir) de la transition karen. ERII4 .fr Polytech' Montpellier.

fr Polytech' Montpellier.Réseau de Petri : base RdP autonomes = la base Place : un état du système Transition : changement d'état Jeton : état actuel du système transition sensibilisée franchissement (tir) de la transition RdP généralisés = avec des poids sur les arcs RdP ordinaires = tous les arcs de poids 1 transition sensibilisée si 2 jetons ds p0 franchissement (tir) de la transition karen. ERII4 .Cours "Automatismes et SED " 5 .godary@lirmm.

fr Polytech' Montpellier.godary@lirmm.Cours "Automatismes et SED " 6 .Réseau de Petri généralisés transition sensibilisée si 2 jetons dans p0 et 1 jeton dans p1 2 jetons consommés Pas de poids (cad poids=1) 1 seul jeton généré franchissement (tir) de la transition 1 jeton consommé karen. ERII4 .

Cours "Automatismes et SED " 7 .Réseau de Petri généralisés pas de transition sensibilisée karen.fr Polytech' Montpellier. ERII4 .godary@lirmm.

karen.fr Polytech' Montpellier.Réseau de Petri généralisés Exemple du chocolat : Il faut 1 boîte vide et 30 chocolats pour faire 1 boîte pleine.Cours "Automatismes et SED " 8 .godary@lirmm. ERII4 .

Automatismes et SED Les RdP interprétés .

karen.fr Polytech' Montpellier. pour décrire le comportement d'un système vis-à-vis de son environnement externe.Cours "Automatismes et SED " 10 . le temps.Extension : RdP interprétés Extension des RdP de base. L'occurrence d'un évènement est associée à un instant d'occurrence défini par un repère de temps qui permet d'ordonner les évènements.godary@lirmm. Introduction de deux notions : les évènements. pour effectuer des évaluations dynamiques sur ce comportement. ERII4 .

partie commande : actions exécutées sur les processus. Commandes Evènements. Actions.Extension : RdP interprétés Un système de commande temps réel est en général un système qui réagit à des évènements externes. associées aux places. ERII4 . Prise en considération du système "réel" : partie opérative : capteurs associés aux transitions.godary@lirmm. et prise en compte des variables et opérateurs.fr Polytech' Montpellier.Cours "Automatismes et SED " 11 . Capteurs karen.

godary@lirmm.Cours "Automatismes et SED " 12 . ERII4 . karen.RdP autonomes / non-autonomes Exemple : modélisation des saisons RdP autonome (= RdP de base) : description qualitative. sans préciser les interactions avec l'environnement ou le temps.fr Polytech' Montpellier.

fr Polytech' Montpellier.godary@lirmm. suite du cours RdP non-autonome : RdP synchronisé (sur évènements) ou temporisé karen.RdP interprétés (non autonomes) Exemple : modélisation des saisons avec conditions liées à l'environnement [ ] Evènements [ ] Intervalles de temps [ ] [ ] cf.Cours "Automatismes et SED " 13 . ERII4 .

alors qu'elle aurait du s'arrêter.godary@lirmm.RdP interprétés : Attention piège ! Situation : l'Action1 est en cours : la place Action1 est marquée. la transition ne pourra pas être franchie. Le problème : Si l'évènement FinAction1 se produit avant que la Synchro soit disponible. Pour commencer l'Action2. il est nécessaire d'attendre une synchronisation. l'évènement de fin de cette action est FinAction1.Cours "Automatismes et SED " 14 . Ne jamais associer une fin d'action et une attente de synchronisation karen.fr Polytech' Montpellier. ERII4 . ⇒ Action1 sera tjs activée. lié à la transition.

⇒ Action1 sera tjs activée. alors qu'elle aurait du s'arrêter. Le problème : Si l'évènement FinAction1 se produit avant que la Synchro soit disponible. Pour commencer l'Action2. la transition ne pourra pas être franchie. il est nécessaire d'attendre une synchronisation.RdP interprétés : Attention piège ! Situation : Solution l'Action1 est en cours : la place Action1 est marquée.fr Polytech' Montpellier.Cours "Automatismes et SED " 15 . Ne jamais associer une fin d'action et une attente de synchronisation karen. ERII4 .godary@lirmm. lié à la transition. l'évènement de fin de cette action est FinAction1.

fr Polytech' Montpellier.godary@lirmm. Les RdPI offrent les mêmes possibilités d'analyse que les RdP. La modélisation des systèmes à évènements discrets est le plus souvent effectuée en RdPI et/ou temporisés. Rmq : on utilise souvent le terme RdP au lieu de RdPI. karen.Extension : RdP interprétés Les RdPI sont des RdP non-autonomes.Cours "Automatismes et SED " 16 . ERII4 .

Extension : RdP interprétés Modélisation avec comme objectif l'implémentation.godary@lirmm.Cours "Automatismes et SED " 17 .fr Polytech' Montpellier. karen. découpage matériel : chaque "module" RdP représente la commande d'un élément matériel. ERII4 . Décomposition du modèle en plusieurs "modules" RdP : découpage fonctionnel : chaque "module" RdP représente une fonctionnalité du système.

Automatismes et SED Les RdP Structures de base .

Exemples de structures – Activités karen.godary@lirmm. ERII4 .Cours "Automatismes et SED " 19 .fr Polytech' Montpellier.

Exemples de structures – Synchronisation et parallélisme places d'attentes branches parallèles Synchronisation de 2 branches : rendez-vous karen.Cours "Automatismes et SED " 20 . ERII4 .godary@lirmm.fr Polytech' Montpellier.

Cours "Automatismes et SED " 21 .fr Polytech' Montpellier.Exemples de structures – Synchronisation Producteur / Consommateur Rmq : Sans limitation de ressources. Cette structure peut aussi servir à synchroniser 2 tâches (P6 et P2) consommation production karen..godary@lirmm. ERII4 .

Cours "Automatismes et SED " 22 .fr Polytech' Montpellier. Marquage simultanée de P3 et P6 impossible.godary@lirmm.Exemples de structures – Exclusion mutuelle Ressource partagée. ERII4 . Places P3 et P6 en exclusion mutuelle karen.

Cours "Automatismes et SED " 23 .Exemples de structures – Stock à capacité limitée Stock : 5 positions libres (P1) ou occupées (P2) Exemple : une machine permet l'usinage de 4 produits en même temps.godary@lirmm. karen.fr Polytech' Montpellier. ERII4 .

Exemples de structures – Gestion de ressources partagées Gestion de la ressource Rmq : structure identique à l'exclusion mutuelle si ressource=1 karen.godary@lirmm.Cours "Automatismes et SED " 24 .fr Polytech' Montpellier. ERII4 .

godary@lirmm.Exemples de structures – Arc inhibiteur Évacuation_par_C2 n'est tirable que si C1_libre est VIDE Exemple d'utilisation : ici.Cours "Automatismes et SED " 25 . le système donne la priorité à l'évacuation par C1 karen. ERII4 .fr Polytech' Montpellier.

ERII4 .Cours "Automatismes et SED " 26 . karen.godary@lirmm.fr Polytech' Montpellier.Exemples de structures – Place complémentaire C1_occupé à toujours un marquage opposé à C1_libre Cette structure permet la modélisation d'un arc inhibiteur en RdP ordinaires (parfois nécessaire pour permettre l'analyse).

mais SANS CONSOMMATION DU JETON ! Equivalence en RdP ordinaire : la place est démarquée et immédiatement remarquée par le tir de la transition. Rmq : ce RdP est inutile car C1_libre ne peut jamais se démarquer. karen. ERII4 ..Cours "Automatismes et SED " 27 .Exemples de structures – Arc test Évacuation_par_C1 n'est tirable que si C1_libre est pleine.fr Polytech' Montpellier.godary@lirmm.

Automatismes et SED Modélisation Exemples .

Assemblage d'un moteur L'assemblage d'un moteur est constitué de 3 opérations séquentielles. ERII4 . ⇒ Faire la modélisation de ce système karen. il y en a 5 au départ.godary@lirmm.Cours "Automatismes et SED " 29 .fr Polytech' Montpellier. dans 3 ateliers différents : pose du bloc pose du carter test qualité Dans chaque atelier un certain nombre d'ouvriers peuvent travailler en parallèle : Atelier pose du bloc = 3 Atelier pose du carter = 3 Atelier test qualité = 2 Chaque moteur est posé sur une palette spéciale.

ERII4 .fr Polytech' Montpellier.godary@lirmm.Assemblage d'un moteur Modèle sans prise en compte des ressources : Modèle avec prise en compte des ressources : Hypothèse : pas de stock intermédiaire karen.Cours "Automatismes et SED " 30 .

Problème des Lecteurs .Cours "Automatismes et SED " 31 . avec les contraintes suivantes : K "processus" qui tentent d'accéder à la BD soit pour lire.fr Polytech' Montpellier. ERII4 . lectures possibles en parallèle.godary@lirmm. soit pour écrire. Par contre. Faire la modélisation de ce système karen. Pas de lecture et écriture simultanées : risque d'incohérence des données lues. Pas d'écritures simultanées sur les données.écrivains On veut modéliser l'accès à une base de données.

godary@lirmm.fr Polytech' Montpellier. ERII4 .Problème des Lecteurs .écrivains K=10 karen.Cours "Automatismes et SED " 32 .

Modéliser le comportement des deux philosophes. Contraintes : Table ronde. et il y a une fourchette entre chaque assiette.godary@lirmm. Faire la modélisation de ce système. dans le cas ou il n'y a que deux philosophes : 1) 2) Modéliser le comportement d'un seul philosophe. un philosophe a besoin de ses 2 fourchettes. soit penser. Actions d'un philosophe : soit manger.Cours "Automatismes et SED " 33 . Chaque philosophe est devant une assiette.fr Polytech' Montpellier. ERII4 . karen. Pour manger.Le dîner des philosophes On veut modéliser le classique pb du dîner des philosophes.

C'est possible ici car tous les philosophes ont accès à toutes les fourchettes.Le dîner des philosophes ATTENTION : Ceci est une simplification du système global : On considère les fourchettes comme un stock global.godary@lirmm. ERII4 . Mais si par exemple 4 philosophes et 4 fourchettes : 2 philosophes voisins ne peuvent pas manger. même s'il reste des fourchettes libres.fr Polytech' Montpellier. karen.Cours "Automatismes et SED " 34 .

Sign up to vote on this title
UsefulNot useful