Scribd
Importer
48 vues2 pages

Exercice 1: PC de Supervision Robot

Le document présente un système composé d'un PC de supervision, d'un automate et d'un robot interconnectés, où le PC détermine les actions du robot et gère les communications. Il décrit également des exercices sur les réseaux de Petri, y compris la détermination de la matrice d'incidence, l'analyse des marquages et des t-invariants, ainsi que des questions sur les propriétés des réseaux de Petri. Les exercices visent à analyser le fonctionnement et les caractéristiques des entités du système à l'aide de modèles formels.

Transféré par

sobnang devis
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
48 vues2 pages

Exercice 1: PC de Supervision Robot

Le document présente un système composé d'un PC de supervision, d'un automate et d'un robot interconnectés, où le PC détermine les actions du robot et gère les communications. Il décrit également des exercices sur les réseaux de Petri, y compris la détermination de la matrice d'incidence, l'analyse des marquages et des t-invariants, ainsi que des questions sur les propriétés des réseaux de Petri. Les exercices visent à analyser le fonctionnement et les caractéristiques des entités du système à l'aide de modèles formels.

Transféré par

sobnang devis
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Exercice 1

Un système est composé d’un PC de supervision, d’un automate et d’un robot reliés par
réseau.

PC de supervision​ Robot

Le PC de supervision possède un algorithme qui permet de déterminer les N prochaines


actions du robot (N est fixe). L’automate reçoit, via le réseau, les N prochaines actions du
robot et les envoie une par une au robot, qui les exécute.

Lorsque le robot ne peut pas exécuter une action (panne…) il prévient l’automate, qui
prévient le PC de supervision, qui décide alors d’arrêter le système. Lorsque le robot a termi-
né correctement une action, il prévient l’automate qui lui envoie la prochaine action.

Lorsque l’automate envoie la dernière action au robot, il prévient le PC de supervision et


lui demande les N prochaines actions. L’automate et le PC de supervision contrôlent que les
échanges d’information par le réseau se sont bien déroulés.

À l’état initial, le système est au repos. Pour arrêter le système, un message d’arrêt est
émis par le PC de supervision en remplacement des N prochaines actions. Lorsque l’automate
reçoit ce message, il met le robot au repos dès que ses dernières actions sont exécutées.

Déterminer à l’aide de réseaux de Petri communicants le fonctionnement du système (un


RdP par entité du système : Robot, Automate, PC de supervision).
Exercice 2

Soit le RdP suivant.

P1​ P4

t1

P5

1)​ Déterminer la matrice d’incidence U.


2)​ Considérer le marquage initial M0 (1, 0, 1, 1, 0) et la séquence σ = <t2, t1, t3, t3>.

Déterminer le marquage obtenu après le tirage de la séquence σ en utilisant l’équation


d’état Mt = Mt0 + U Vtσ ou Vt est le vecteur de comptage.
3)​ Déterminer les t-invariants et les interpréter.

Exercice 3
Pour chacun des RdP de la figure suivante, dont certains sont des RdP généralisés, répondre aux
questions :
-​ il borné?
-​ Vivant?
-​ Sans blocage?
Justifier votre réponse.

Vous aimerez peut-être aussi