Explorer les Livres électroniques
Catégories
Explorer les Livres audio
Catégories
Explorer les Magazines
Catégories
Explorer les Documents
Catégories
Le Grafcet
136
Chapitre 13 - Le Grafcet
rsultats de ces travaux firent lobjet de publications en 1977, date de naissance officiel du
petit GRAFCET. Ds 1979, sous limpulsion de lAFCET auprs des enseignants techniques
et de lADEPA 3 auprs des PMI/PME, le GRAFCET commence tre utilis puis il fait
lobjet dune norme AFNOR en 1982 (NF C03-190).
Au dpart national, cet outil de modlisation est maintenant utilis de manire internationale 4 par toutes les entreprises ncessitant une production automatise, il est normalis
au plan international depuis 1987 (on parle alors de SFC pour Sequential Function Chart).
Le GRAFCET fait lobjet de la norme CEI 60848-2 publie en Aot 2002 Langage de
spcification GRAFCET pour diagrammes fonctionnels en squence .
Remarque 1 GRAFCET en majuscules dsigne le modle en gnral, alors que grafcet
en minuscules dsigne la reprsentation dun systme logique donn... utilisant bien sur le
modle GRAFCET.
La partie squentielle dun systme est caractrise par ses variables dentre, ses variables de sortie et son comportement. Cette partie squentielle ne comporte que des variables dentres et de sorties boolennes. Toutefois le langage de spcification GRAFCET
permet par extension de dcrire le comportement de variables non boolennes (exemple :
valuation dun prdicat ou affectation dune valeur numrique une variable).
Il est important de noter quil existe dautres types de spcification dun systme squentiel, nous en avons dj vu certaines :
les rseaux de Ptri,
les graphes dtat,
les chronogrammes,
les algorithmes et les organigrammes.
13.1
Notions de base
Le GRAFCET est utile pour concevoir des grafcets donnant une reprsentation graphique et synthtique du comportement des systmes. La reprsentation distingue :
la structure avec les lments graphiques (tapes, liaisons orientes, transitions), qui
permet de dcrire les volutions possibles entre les situations,
linterprtation, qui fait la relation entre les variables dentres, la structure, et les
variables de sorties (actions associes aux tapes, rceptivits associes aux transitions),
des rgles dvolution, dassignation et daffectation dfinissent formellement le comportement dynamique de la Partie Commande.
Cahier des charges 1
Un chariot doit effectuer un aller retour entre deux positions chariot gauche et chariot droite. Lorsquil est gauche, lappui sur le bouton dpart cycle provoque un cycle
de dplacement.
de Commande tape / Transition.
3. Agence nationale pour le Dveloppement de la Production Automatise.
4. Il est mme la base de langages de programmation dautomates programmables (PL7-2 de Tlmcanique).
137
13.1.1
Les tapes
Une tape est reprsente par un carr et identifie par un numro. A un instant donn,
une tape est soit active, soit inactive.
On reprsente une tape active par un point dans sa partie infrieure.
Lensemble des tapes actives dun Grafcet un instant donn dfinit la situation de ce
Grafcet linstant considr (on la note par exemple {3; 10; 101} o les tapes 3, 10 et 101
sont actives).
10
Remarque 2 Plusieurs tapes initiales peuvent tre ncessaires pour dcrire le comportement dun systme.
138
Chapitre 13 - Le Grafcet
13.1.2
Les Actions
Laction indique, dans un rectangle, comment agir sur la variable de sortie, soit par
assignation (action continue), soit par affectation (action mmorise).
5
A +
B +
1 0
D m a rre r m o te u r
13.1.3
Les transitions
Une transition indique la possibilit dvolution entre plusieurs tapes. Le franchissement dune transition, provoque un changement de situation du grafcet. Elle modlise les
changements dtat du systme.
Une transition est place entre une ou plusieurs tapes dentre, situ en amont, et une
ou plusieurs tapes de sortie, situes en aval de cette transition.
Elle est reprsente par un trait horizontal.
13.1.4
Les rceptivits
Associe chaque transition, la rceptivit est une condition logique qui est soit vraie,
soit fausse, et qui est compose de variables dentres et/ou de variables internes. Cette
rceptivit peut scrire sous forme de texte ou dexpression logique.
13.1.5
139
13.2
Rgle de syntaxe 1
Lalternance tape/transition, transition/tape doit toujours tre respecte, cest dire
que deux tapes doivent toujours tre spares par une seule et unique transition.
13.2.1
Elles sont orientes de haut en bas, si ce nest pas le cas, une flche doit indiquer le sens.
Plusieurs liaisons peuvent arriver ou partir dune tape.
0
d c y
1
a 1
A +
a 2
2 1
B +
b 1
13.2.2
Structure de base
140
Chapitre 13 - Le Grafcet
Divergence en
OU
1 1
2 1
3 1
4 1
5 1
1 3
2 3
3 3
4 3
5 3
Convergence en
OU
4
Divergence en
ET
1 1
2 1
3 1
4 1
5 1
1 3
2 3
3 3
4 3
5 3
Convergence en
ET
4
13.2.2.1
141
Lors de la divergence en ET, le symbole de synchronisation est utilis dans cette structure pour indiquer lactivation simultane de plusieurs squences. Aprs leur activation simultane, lvolution des tapes actives dans chacune des squences parallles devient alors
indpendante.
De mme, lors de la convergence en ET, le symbole de synchronisation est utilis dans
cette structure pour indiquer lattente de la fin des squences amont avant dactiver la
squence aval. La transition nest valide que lorsque toutes les tapes amont sont actives.
Cahier des charges 3
Deux chariots 1 et 2 ont pour position de dpart respective d1 et d2. Aprs un appui
sur un bouton dcy, il doivent simultanment se dplacer droite pour rejoindre une position
darrive a1 et a2. Ensuite ils doivent repartir simultanment de cette position darrive
pour rejoindre leur position de dpart. Un nouveau cycle ne sera possible que sils sont tous
les deux sur leur position de dpart.
d c y .d 1 .d 2
1 1
D p la c e r 1 d r o ite
2 1
a 1
D p la c e r 2 d r o ite
a 2
1 2
2 2
1
1 3
D p la c e r 1 g a u c h e
d 1
2 3
D p la c e r 2 g a u c h e
d 2
142
Chapitre 13 - Le Grafcet
13.3
Ces rgles sont fondamentales et sont connatre afin de bien apprhender le fonctionnement dun Grafcet.
Rgle 1 Situation initiale
La situation initiale est la situation linstant initial, elle est donc dcrite par lensemble
des tapes actives cet instant.
Le choix de la situation linstant initial repose sur des considrations mthodologiques
et relatives la nature de la partie squentielle du systme vis.
Rgle 2 Transition franchissable
Une transition est dite valide lorsque toutes les tapes immdiatement prcdentes relies
cette transition sont actives. Le franchissement dune transition se produit :
lorsque la transition est valide,
et que la rceptivit associe cette transition est vraie.
Une transition franchissable est obligatoirement franchie.
11
11
...................................
...................................
...................................
...................................
...................................
...................................
Remarque 3 La dure de franchissement dune transition est non nulle dans le temps
interne, mais est trs faible lchelle du temps externe.
Rgle 3 Franchissement dune transition
Le franchissement dune transition entrane simultanment lactivation de toutes les
tapes immdiatement suivantes et la dsactivation de toutes les tapes immdiatement prcdentes.
...................................
...................................
143
11
21
m
1
t
0
X 1 0
1
t
0
X 2 0
1
t
0
X 3 0
1
t
0
t
1
t
2
144
Chapitre 13 - Le Grafcet
13.4
Le temps en GRAFCET
13.4.1
Temps externe
Dans le temps externe, seules sont connues les dates doccurrence des vnements externes (changement dtat des variables dentre).
Nous pouvons alors crire ce nouveau postulat relatif au temps externe :
Les occurrences dvnements externes sont temporellement distinctes.
En consquence, ces occurrences sont associes des dates diffrentes.
13.4.2
Temps interne
Le temps interne est discret, les dates doccurrence des vnements internes (changement
de situation des tapes, ordre interne, etc.) sont les seules donnes.
Nous pouvons crire le postulat ci-dessous concernant le temps interne :
La dure sparant linstant ou une transition est franchissable de linstant o
elle est franchie est non nulle, lchelle du temps interne. Elle est appele dure
dvolution.
Nous pouvons alors illustrer les diffrents postulats temporels par lexemple ci-dessous.
13.5
145
a
D t1D t
a
t
a
t
t
S 1
S 1
t
b
t
t
S 2
S 2
t
c
t
S 3
t
t
0
t
1
S 3
t
E c h e lle in te r n e
t
t
0
t
1
t
2
E c h e lle e x te r n e
2
A +
P a r tie
C o m m a n d e
A -
146
Chapitre 13 - Le Grafcet
13.6
Laction indique, dans un rectangle, comment agir sur la variable de sortie, soit par
assignation (action continue), soit par affectation (action mmorise).
En mode continu, cest lassociation dune action une tape qui permet dindiquer
quune variable de sortie a la valeur vraie si ltape est active et si la condition dassignation
est vrifie.
En mode mmoris, cest lassociation dune action des vnements internes qui permet
dindiquer quune variable de sortie prend et garde la valeur impose si lun de ces vnements
se produit.
Il peut y avoir une, plusieurs ou aucune action, associes une tape. Elles traduisent
ce qui doit tre fait chaque fois que ltape associe est active.
Lorsquil y a plusieurs actions, elles sont toutes excutes en mme temps. Leur dure
est gale la dure de lactivation de ltape concerne.
1 0
1 0
A
B
13.6.1
147
B = X20
X 2 0
p
2 0
t
p
t
t
A
t
B
t
Figure 13.19 Exemple daction conditionnelle
13.6.2
La condition dassignation peut tre dpendante du temps, dans ce cas, le temps intervient comme condition logique. Il existe alors trois cas possibles :
les actions retardes dans le temps, dans ce cas, la condition dassignation nest vraie
quaprs un temps dfini partir de lactivation de ltape. Si la dure dactivit
de ltape est infrieure au temps spcifi dans la condition dassignation de laction
retarde, alors la sortie nest pas assigne la valeur vraie.
les actions limites dans le temps, dans ce cas, la dure spcifie dans la condition
dassignation est la dure maximale, dfinie partir de lactivation de ltape, dassignation de la valeur vraie la sortie.
les actions retardes et limites dans le temps, on utilise alors loprateur retard de la
norme CEI 617-12. Dans ce dernier cas, la condition dassignation 3s/b/5s est vraie
3s aprs loccurrence dun front montant de la variable b et reste vraie jusqu 5 s
aprs loccurrence dun front descendant de b. La variable temporise b doit rester
vraie pendant un temps gal ou suprieur 3s pour que la condition dassignation
puisse tre vraie. Laction A reste cependant dpendante de lactivation de ltape
20.
148
Chapitre 13 - Le Grafcet
X 2 0
t
a
t
A
t
B
1 s
3 s
Figure 13.20 Exemple daction retarde dans le temps et action limite dans le temps
13.6.3
volution fugace
Dans le cas gnral, lvolution est non fugace, cest--dire que lvnement dentre
ne provoque quun seul pas dvolution (le franchissement simultan dune ou plusieurs
transitions).
Une volution fugace se produit quand plusieurs transitions successives sont franchies
loccurrence dun unique vnement dentre. Lvolution correspondante est dite fugace.
Les tapes intermdiaires correspondantes, dites tapes instables, ne sont pas actives,
mais on considre quelles ont t virtuellement actives et dsactives le long du chemin
dvolution intuitive, et de mme que les transitions correspondantes ont t virtuellement
franchies.
Lassignation dune valeur de sortie par une action continue associe une tape, qui
loccasion dune volution fugace est une tape instable, nest pas effective puisque ltape
nest pas rellement active. 8
13.7
Une rceptivit est une condition logique. Elle est soit vraie, soit fausse. Elle peut tre
inscrite de manire littrale ou de manire symbolique (quation logique). Une rceptivit
peut tre une information externe (entre) ou interne (variable dtape par exemple).
Cahier des charges 4
8. Nous verrons dici peu, que dans le cas des actions mmorises, le passage par une tape instable
permet daffecter une valeur une sortie mmorise... Toujours le mme problme de temps interne et de
temps externe.
149
X 1 0
1 0
2 0
2 0
X 2 0
3 0
C
c
3 0
C
c
t
a
1 0
t
t
t
c
t
X 3 0
t
Figure 13.22 Evolution fugace
Un chariot doit effectuer deux allers retours entre deux positions chariot gauche =
cg et chariot droite = cd. Une impulsion sur le bouton dpart cycle =dcy provoque un
cycle de dplacement.
13.7.1
On peut aussi utiliser les notations non boolennes de front montant et front descendant.
La notation indique que la rceptivit nest vraie quau changement detat de la variable
* (front montant : passage de la valeur 0 la valeur 1). Cette notation est generale et
sapplique toute proposition logique, quil sagisse dune variable lmentaire ou dune
combinaison de plusieurs variables boolennes. De mme, la notation indique que la
rceptivit nest vraie quau changement detat de la variable * (front descendant : passage
de la valeur 1 la valeur 0).
150
Chapitre 13 - Le Grafcet
m
t
m
t
m
t
Figure 13.24 Front montant et front descendant
13.7.2
De la mme manire que pour les actions, on peut prendre en compte le temps dans une
rceptivit laide de loprateur normalis t1/x/t2. La variable x peut tre une variable
dtat dune tape ou une variable dentre du systme.
e
e
t1
t2
S
S
t1
t2
t
13.7.3
151
13.8
Trois outils sont couramment employs pour lanalyse et aussi pour la conception dun
Grafcet :
le chronogramme lchelle de temps externe,
le tableau dvolution,
le graphe des situations accessibles.
Le chronogramme permet dillustrer le comportement temporel du Grafcet (nous lavons
dj souvent utilis pour cela).
Le graphe des situations accessibles permet de connatre quelles sont les situations accessibles pour un Grafcet donn et dy associer des rceptivits.
1
m
t1
3
b
t2
A
a .b
t3
5
t4
c .b
t5
6
t6
152
Chapitre 13 - Le Grafcet
Situation
Transitions
valides
vnement
condition
Transition
franchissable
Nouvelle
situation
Action effectue
13.9
13.9.1
Structures supplmentaires
Slection de squence
13.9.2
Ces deux cas correspondent tous les deux des cas particuliers de lutilisation de la
slection de squence (divergence en OU). Les reprises de squence sont des aiguillages qui
permettent de reprendre plusieurs fois la mme squence tant quune condition donne nest
pas remplie.
Le saut dtape est un aiguillage qui permet soit de parcourir la squence complte soit
de sauter une ou plusieurs tapes de la squence lorsque, par exemple, les actions associes
ces tapes deviennent inutiles.
13.9.3
Accumulation et rservoir
Laccumulation permet les activations successives de plusieurs tapes puis les dsactivations simultanes de ces tapes par le franchissement dune transition.
Cahier des charges 6
On dsire accumuler trois cartons puis les vacuer ensemble. Chaque carton qui arrive
dans la zone de stockage est dtect par une cellule photolectrique (c).
153
m
t
a
t
b
t
c
t
X 1
t
B
t
X 3
t
A
t
X 5
t
X 6
t
Figure 13.30 Chronogramme
154
Chapitre 13 - Le Grafcet
155
40
40
50
50
60
60
e
1
70
70
Evacuation
Ev acuation
cartons v acus
13.10
Les tapes sources sont des tapes initiales par lesquelles le systme ne repasse plus en
fonctionnement cyclique ou des tapes simples forces lactivation par un grafcet hirarchiquement suprieur.
Les tapes puits sont des tapes qui une fois actives, ne peuvent tre dsactives que
par un grafcet hirarchiquement suprieur (ordre de forage) ou par une mise hors nergie
du systme.
a
1 0
1 0
a
2 0
5
a
2 0
b .c
6
156
Chapitre 13 - Le Grafcet
Une transition source est une transition qui ne possde aucune tape amont. Par convention, la transition source est toujours valide et est franchie ds que sa rceptivit est vraie.
Les transition sources correspondent des entres provoquant lactivation dune tape du
systme un moment quelconque du fonctionnement.
Les transitions puits sont des transitions qui dsactivent une squence sans consquence
sur la suite du fonctionnement du systme.
9
a
a
1 0
a + m
1 0
6
b
13.11
Les macro-tapes
Afin de rendre la lecture dun grafcet plus simple, un ensemble unique dtapes et de
transitions peut tre remplac par une macro-tape qui sera dtaille par la suite.
Lexpansion dune macro-tape M* est une partie de grafcet munie dune tape dentre
E* et dune tape de sortie S*. Ltape dentre E* devient active lorsque lune des transitions
amont de la macro-tape est franchie. La ou les transitions aval de la macro-tape ne sont
valides que lorsque ltape de sortie S* est active.
13.12 Structuration
157
13.12
Structuration
Les systmes automatiss industriels ont un fonctionnement le plus souvent extrmement rptitif et un simple grafcet 10 permet gnralement de dcrire ce fonctionnement
normal. Malheureusement, il arrive frquemment pour un systme industriel rel quun certain nombre dvnements obligent prvoir un comportement pour le systme totalement
diffrent du fonctionnement normal (procdure de rglage, darrt durgence, de mise en production ou darrt de production, etc.). La prise en compte de ces diffrents cas de figure,
amne trop souvent la ralisation de grafcet trs complexes, trs rapidement illisibles et
trs certainement incomplets...
Afin de simplifier les grafcets obtenus, le modle GRAFCET nous propose de dcomposer le grafcet en plusieurs parties en fonction des diffrentes sous-fonctions du systme.
Nous appellerons les diffrents grafcets permettant de dcrire un mme systme des grafcets
partiels. Ils sont englobs dans un grafcet global. Ces grafcets partiels sont nomms :
soit partir de la fonction dcrite par le grafcet (grafcet bouchage),
soit partir du numro de ltape initiale du grafcet (G20).
10. Cest une faon de parler... Il ne sera pas toujours simple) !
158
Chapitre 13 - Le Grafcet
13.12 Structuration
159
13.12.1
G 2 { }
1 0
G 2 { IN IT }
1 0
G 2 { 1 0 ,1 2 }
1 0
G 2 {*}
13.12.2
Il y a encapsulation dun ensemble dtapes, dites encapsules, par une tape dite encapsulante, si et seulement si lorsque cette tape est active, lune au moins des tapes
encapsules est active.
Une tape encapsulante possde toutes les proprits de ltape.
Son encapsulation est un graphe partiel reprsent comme ci-dessus, entour dun cadre
qui porte, en haut le numro de ltape encapsulante, en bas son nom. Les tapes actives
160
Chapitre 13 - Le Grafcet
E ta p e e n c a p s u la n te
L i e n d 'a c t i v a t i o n
1 0
c
1 1
d
1 2
e
G 4
N o m
d e l 'e n c a p s u l a t i o n
161
lactivation de ltape encapsulante sont indiques ( gauche) par un *, appel lien dactivation. La variable dtat dune tape appartenant un grafcet encapsul sera not par
exemple X6/X10.
Une tape encapsulante peut donner lieu une ou plusieurs encapsulations possdant
chacune au moins une tape active lorsque ltape encapsulante est active et ne possdant
aucune tape active lorsque ltape encapsulante est inactive.
La dsactivation de ltape encapsulante entrane la dsactivation de toutes
les tapes actives des encapsulations.
13.13
Actions mmorises
En mode mmoris, cest lassociation dune action des vnements internes qui permet
dindiquer quune variable de sortie prend et garde la valeur impose si lun de ces vnements
162
Chapitre 13 - Le Grafcet
163
se produit.
La valeur dune variable de sortie relative une action mmorise reste inchange tant
quun nouvel vnement spcifi ne la modifie pas. On appelle affectation le fait de mmoriser, un instant donn, la mise une valeur dtermine dune variable de sortie.
Rgle 6 Rgle daffectation
La valeur dune sortie, relative une action mmorise et associe un vnement, est
affecte la valeur indique si lvnement interne spcifi se produit ; linitialisation la
valeur de cette sortie est nulle.
13.13.1
Action lactivation
Une action lactivation est une action mmorise associe lensemble des vnements
internes qui ont chacun pour consquence lactivation de ltape lie cette action. La
reprsentation traditionnelle de laction par un rectangle est complte, au ct gauche,
dune flche symbolisant lactivation de ltape.
b
10
A:=1
20
K:=1
30
B:=B+1
a
C:=C+1
13.13.2
Action la dsactivation
Une action la dsactivation est une action mmorise associe lensemble des vnements internes qui ont chacun pour consquence la dsactivation de ltape lie cette
action. La reprsentation traditionnelle de laction par un rectangle est complte, au ct
gauche, dune flche symbolisant la dsactivation de ltape.
13.13.3
Une action sur vnement est une action mmorise associe chacun des vnements
internes dcrits par lexpression associe, condition que ltape, laquelle laction est relie, soit active. La reprsentation traditionnelle de laction par un rectangle est complte,
sur le ct haut, dun symbole indiquant que laction est conditionne loccurrence dun
des vnements internes spcifis par lexpression associe. Il est impratif que lexpression logique associe, qui doit dcrire un ensemble dvnements internes, comporte un ou
plusieurs fronts de variables dentre.
13.13.4
Action au franchissement
Une action au franchissement est une action mmorise associe lensemble des vnements internes qui ont chacun pour consquence le franchissement de la transition laquelle
laction est relie.
164
Chapitre 13 - Le Grafcet
13.14
Un observateur qui simplique dans le fonctionnement dun systme peut donner trois
types de descriptions. Cette dimension de la description est caractristique du Point de vue.
13.14.1
Ce premier niveau danalyse est une approche gnrale qui porte essentiellement sur
lvolution de la matire doeuvre. La description est ralise en terme de fonctions ou tches
lmentaires et peut rester relativement abstraite. En effet, lobservateur tant extrieur au
systme, son existence physique nest donc pas ncessaire.
Le GRAFCET ou Graphe de coordination des tches permet la description globale du
fonctionnement normal partir de lenchanement de tches symboliques.
Le GEMMA (Guide dtude des Modes des Marches et dArrts) permet la description
fonctionnelle des diffrents modes de marche et darrt.
La dfinition des tches tant ralise, dautres outils de type algorithmique ou encore
des chronogrammes (diagramme de Gantt) permettent ce niveau de description.
13.14.2
E v a c u e r p i c e u s in e
p i c e v a c u e
2 0
S o r tir tig e v r in
tig e s o r tie
2 0
V +
ts
2 0
O 0 ,2
I1 ,0
13.14.3
Cest le point de vue de lautomaticien, encore appel point de vue ralisateur. Lobservateur simplique dans le fonctionnement de la P.C. et dcrit les ordres que cette dernire
doit mettre pour obtenir les effets attendus au niveau de la P.O. Dans cette description,
on fera apparatre tous les signaux mis par la P.O. ou loprateur destination de la P.C.
ainsi que toutes les fonctions gres de manire interne ( Tempo, comptage,....).
Dun point de vue P.C., deux descriptions sont envisageables : soit on considre la commande des practionneurs en fonction des signaux mis par les dtecteurs, soit on considre
les signaux dentre/sortie propres une technologie de partie commande.
165
Remarque 9
Plusieurs GRAFCET hirarchiss et coordonns permettent de dcrire un systme :
GRAFCET de production normale (un ou plusieurs).
GRAFCET de conduite qui gre les diffrents modes de marche issus du GEMMA.
GRAFCET de sret qui gre les arrts de scurit issus du GEMMA.
En plus du GRAFCET de suret, certaines scurits dites cables font lobjet dun traitement purement combinatoire.
166
Chapitre 13 - Le Grafcet