Les réseaux de Petri
Introduction
1
Système distribué?
Définition:Un système composé de plusieurs parties, réparties dans
l’espace, qui interagissent entre elles.
Exemples :
•Un système de production, distribution et de
consommation
•Un système d’information à ressources réparties.
•Système de réservation de billets d ’avion
2
Motivations
3
Pourquoi modéliser?
1. Mieux comprendre leurs opérations
2. Améliorer les performances
3. Réduire les coûts de développement
4. Vérifier la consistance et la fiabilité
4
Un exemple
•Supposons que nous souhaitons modéliser le trafic
des voitures sur un pont à voie simple.
•Nous modélisons les secteurs du pont comme états.
En suite, nous fournissons un état pour chaque
secteur du pont aux quel nous sommes intéressés.
•Nous fournirons les états qui représentent les
endroits où les voitures attendent pour entrer dans
le pont. Nous diviserons le pont lui-même en deux
états logiques, pour représenter l'écoulement du
trafic dans deux directions.
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
1
/
60
100%
