Professional Documents
Culture Documents
Systèmes à Événements
É discrets
1
Chapitre I
La Modélisation
1. Définition, formalismes et domaines d’application
M. F. Karoui 2
Chapitre I
La Modélisation
2. Objectifs
Pour un projet :
• valider (comportement,
(comportement performances)
• optimiser
M. F. Karoui 3
Chapitre I
M. F. Karoui 5
Chapitre I
M. F. Karoui 6
Chapitre I
Au début des années 80, c'est la prise en compte de ces systèmes par le monde de
l'Automatique.
q On les a alors appelés
pp "Systèmes
y à Événements Discrets" ((SED).
)
M. F. Karoui 7
Chapitre I
Définition dd’un
un système
« Ensemble d'éléments en interaction mutuelle et en interaction avec l'environnement,
organisés en fonction d'un même but pour parvenir à une même fin » (Meinadier98)
M. F. Karoui 8
Chapitre I
• Il est stochastique si au moins une de ses sorties est aléatoire. Dans ce cas
le système est décrit par un processus stochastique.
M. F. Karoui 9
Chapitre I
M. F. Karoui 10
Chapitre I
Un SED est un système dynamique à espace d’états discrets dont les transitions
entre les états sont effectuées suite à ll’occurrence
occurrence d
d’événements
événements.
L’occurrence d’un événement est instantanée dans le sens où elle n’a pas de durée.
Un SED demeure dans le même état en l’absence d’événements.
M. F. Karoui 11
Chapitre I
Simulation Connaissance
approfondie ,
P f
Performances
Analyse validation
Réalisation, peer
Mise en œuvre reviewing, exploitation
M. F. Karoui 12
Chapitre I
M. F. Karoui 13
Chapitre I
• Le processus simplifié:
• Paramètres
P è complémentaires
lé i pour rapprocherh lle modèle
dèl de
d la
l réalité
é li é
- Distribution statistique des arrivées de véhicules
- La durée globale du service
M. F. Karoui 14
Chapitre I
Idée de départ :
– Un ensemble d'automates a états finis qui communiquent
– Avoir a la fois la représentation des automates Et celle des communications.
• communications asynchrones par échange de messages
• communication synchrones
y par
p rendez-vous,, synchronisations,
y , ressources
partagées
=>
> Graphes avec 2 types de noeuds « places » et « transitions »
M. F. Karoui 15
Chapitre I
– Systèmes
S tè d production,
de d ti Autom.
A t P
Prog. I d Grafcet
Ind., G f t
⇒ Evaluation des performances, simulation a événements discrets
– Validation de protocoles de communication
– Systèmes temps réels, systèmes distribues, génie logiciel
– Systèmes d'information, gestion, interfaces homme machine
– Modèles de raisonnement, planification
M. F. Karoui 16
Chapitre I
M. F. Karoui 17
Chapitre I
• Comment décrire la
procédure q
p qui doit être
exécutée entre le moment ou
on reçoit une commande d’un
client et le moment ou on ll’aa
client,
traitée.
• Est-elle correcte ?
M. F. Karoui 18
Chapitre I
M. F. Karoui 19
Chapitre I
" 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
i de
d représenter les
l phénomènes
h transitoires.
i i "
L’ensemble
L ensemble des états de ce système est présenté par ll’ensemble
ensemble E = {a,
{a m,
m p}.
p}
M. F. Karoui 20
Chapitre I
Présentation informelle
• Le formalisme des réseaux de Petri est un outil permettant l'étude de
systèmes dynamiques et discrets.
M. F. Karoui 21
Chapitre I
Présentation informelle
Démarche générale
g
M. F. Karoui 22