réseaux de pétri
UNIVERSITE de CAEN/BASSE–NORMANDIE
U.F.R. : SCIENCES CAEN
R´ seaux de Petri e Cours EL401T2
Master 1A Mention EEA Parcours AEII
G. Scorletti et G. Binet
`
Maˆtres de conf´ rences a l’Universit´ de Caen ı e e GREYC AUTO
6 bd du Mar´ chal Juin, F14050 Caen cedex e Tel : 02 31 45 27 12 e-mail : scorletti@unicaen.fr
c G´ rard Scorletti, France, 2006 e Page web : http ://www.greyc.ensicaen.fr/EquipeAuto/Gerard S/mait Petri.html
20 juin 2006
2
Table des mati` res e 1 Introduction
1.1 Syst` mes et mod` les . . . . . . . . . . . . . . . . . e e
1.1.1 Notions g´ n´ rales sur les syst` mes et mod` les e e e e
1.1.2 Un mod` le, pour quoi faire ? . . . . . . . . . e `
1.2 Quelques classes de syst` mes a variables discr` tes . . e e
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Mod´ lisation par R´ seaux de Petri e e
2.1 Mod` le de base . . . . . . . . . . . . . . . . . . . . . . . . e 2.1.1 Elements de base . . . . . . . . . . . . . . . . . . .
2.1.2 Evolution d’un RdP . . . . . . . . . . . . . . . . . .
2.1.3 Exemples de R´ seaux de Petri . . . . . . . . . . . . e 2.1.4 R´ seaux de Petri avec une structure particuli` re . . . e e
2.2 Structures fondamentales pour la mod´ lisation des syst` mes e e
2.2.1 Elements de mod´ lisation . . . . . . . . . . . . . . e 2.2.1.1 Parall´ lisme . . . . . . . . . . . . . . . . e 2.2.1.2 Synchronisation . . . . . . . . . . . . . .
2.2.1.3 Partage de ressources . . . . . . . . . . .
2.2.1.4 M´ morisation . . . . . . . . . . . . . . . e 2.2.1.5 Lecture . . . . . . . . . . . . . . . . . . .
2.2.1.6 Capacit´ limit´ . . . . . . . . . . . . . . . e e
2.2.2 Mod´ lisation structur´ e . . . . . . . . . . . . . . . . e e
2.2.2.1 Approche par affinements successifs . . .
2.2.2.2 Approche par compositions de RdPs . . .
3 Propri´ t´ s des R´ seaux de Petri (ordinaires) ee e
3.1 Notations et d´ finitions . . . . . . . . . . . . e 3.2 Propri´ t´ s . . . . .