Vous êtes sur la page 1sur 13

Larhyss Journal, ISSN 1112-3680, n 04, Juin 2005, pp.

37-49
2005 Laboratoire de Recherche en Hydraulique Souterraine et de Surface

TUDE DE LA SCURIT DUN SYSTME DALIMENTATION


EN EAU PAR LES RSEAUX DE PETRI HYBRIDES
M. DJEBABRA1, L. BAHMED 1, N. BENNOUI 2, A. ABIBSI 3
1

Institut Universitaire dHygine et de Scurit, Universit de Batna, Algrie.


2
tudiante en Post graduation Institut H-S, Universit de Batna, Algrie.
2
Dpartement Sciences exactes, Universit de Biskra, Algrie.

INTRODUCTION
LAlgrie est un pays aride. Par consquent, le problme de leau potable est
devenu une proccupation nationale qui sest traduite, ces derniers temps, par
une srie de mesures permettant de prserver cette ressource vitale.
Dans une tude prcdente (BAHMED et al., 2004), nous avons montr que la
gestion de cette ressource passe par la mise en uvre dune stratgie permettant
lintgration des paramtres (Q)ualit, (S)curit et (E)nvironnement. Dans ce
contexte, nous avons propos une dmarche dintgration du triptyque QSE au
niveau dun systme dalimentation en eau potable.
Bien que cette dmarche fournisse lossature de toute tude dimplmentation
dun systme de management, cependant, lvaluation proprement dite de ces
paramtres pose de srieuses difficults dues essentiellement la complexit de
ce type de systmes.
Pour rappel, cette complexit est due la prsence dun ensemble de
phnomnes coupls et de nature diverses (principalement mcanique,
thermodynamique, lectrique, ). Il est de surcrot soumis de nombreuses
sources de perturbations. Ltude de ces perturbations relve de la sret de
fonctionnement quest la science des dfaillances (DJEBABRA et SAADI,
1999a, 1999b). En effet, une tude de sret de fonctionnement permet de
modliser le comportement fonctionnel et/ou dysfonctionnel des systmes.
Cette modlisation, effectue par le biais de modles, varie en fonction de
lobjectif de ltude et de la nature des systmes (VILLEMEUR, 1988).
Un systme dalimentation en eau potable est un systme dynamique (volutif)
intgrant des aspects la fois discrets (fonctionnement des pompes, tats des
vannes,) et continus (fluctuation de leau dans les rservoirs de stockagechteaux deau).

Larhyss Journal n04, Juin 2005

M. Djebabra, L. Bahmed, N. Bennoui et A. Abibsi / Larhyss Journal, 4 (2005) 37-49

Si la partie discrte ne pose pas de problmes en terme dtude de sret de


fonctionnement, la partie continue reste de loin la plus difficile tudier par les
mthodes de sret de fonctionnement. Cette difficult a attir lattention de
nombreux chercheurs et cest ainsi que plusieurs tudes ont t publies sur
ltude des systmes dynamiques continus (du type rservoirs deau). Ces
tudes peuvent tre regrouper essentiellement en trois approches :
- lutilisation de lapproche markovienne pour lvaluation des paramtres non
instantans de la sret de fonctionnement en loccurrence la disponibilit
limite (ALDEMIR, 1987 ; LIMNIOS, 1990),
- lutilisation des rgles floues pour la modlisation des processus continus
(GHARBI, 1994),
- le recours aux rseaux de Petri pour la discrtisation des systmes
dynamiques continus (LUNZ, 1992 ; DUTUIT, 1996).
Lavantage de lutilisation des rseaux de Petri, par rapport aux deux autres
approches, rside deux niveaux (BENNOUI, 2004) :
- la matrise de la complexit des systmes dynamiques continus grce une
reprsentation conviviale du paralllisme, de la synchronisation, de la
modularit et de la dcomposition hirarchique
- lvaluation de tous les paramtres de sret de fonctionnement (fiabilit et
disponibilit instantanes, disponibilit limite, MTTF,), grce la
simulation numrique.
Il est noter que le problme majeur rencontr avec les rseaux de Petri, pour la
discrtisation des systmes dynamiques, concerne la fois la taille du modle
(quest importante) et le temps dvaluation des paramtres de sret de
fonctionnement (quest trop prohibitif). En plus de ces deux contraintes, cette
utilisation a pour objet dapprocher les systmes dynamiques continus.
Pour pallier cette carence, approximation de systmes continus, dautres
mthodes ont t utilises. Il sagit principalement (BENNOUI, 2004) : (i) des
modles mathmatiques reprsents essentiellement par des quations
diffrentielles ordinaires ou algbro diffrentielles (GOMEZ, 2000) et (ii) des
modles graphiques du type graphes de liaisonsBond Graphes (OGATA, 1998)
ou les rseaux de Petri continus (ZAYTOUN, 2001).
Lutilisation des RdP-continus pour ltude des systmes dynamiques continus
permet de rduire la fois la taille du modle et le temps ncessaire pour
lvaluation de ces paramtres de performance.
Pour se rapprocher davantage du systme rel, il est ncessaire dtre mme
de reprsenter les deux parties discrte et continue dans le mme modle ; Ceci
correspond un systme dynamique hybride.
Avec le dveloppement des RdP-hybrides, la prise en charge simultane des
deux parties discrte et continue est devenue possible.
38

tude de la scurit dun systme dalimentation en eau


par les rseaux de Petri hybrides

Dans la suite de cet article, nous dcrivons dans le paragraphe 2, ce que pourrait
tre un systme dalimentation en eau potable. Le modle retenu tant les
rseaux de Petri-hybrides dont nous prsentons leur principe de base en
paragraphe 3. La modlisation dun systme dalimentation en eau potable
dune partie de la ville de Batna (Est de lAlgrie) fera lobjet du paragraphe 4.
Une brve conclusion clt cet article.
PRESENTATION DUN SYSTEME DALIMENTATION
EN EAU POTABLE
Notre objectif tant llaboration dun RdP-hybrides permettant le contrle et la
commande de la fluctuation du stock deau dans un chteau deau du parc
forage de la ville de Batna. Pour cela, on se propose de dterminer la dynamique
de leau dans le chteau deau.
Ouvrage de
transport deau

Ouvrage de
pompage deau
Prise deau

Ouvrage de traitement et
de stockage deau

Ouvrage de
distribution
deau

Figure 1 : Schma de principe dalimentation en eau potable.


Le systme tudi comprend un ouvrage de stockage deau (quest le chteau
deau) aliment partir dun forage (leau est pompe puis refoule vers
louvrage du stockage). Lalimentation de la population, quest assure par
louvrage de distribution, seffectue, en partie, par gravitation.
La fluctuation du niveau deau dans le rservoir oscille entre deux niveaux hmin
et hmax. Initialement, le niveau deau se trouve sa hauteur minimale hmin (qui
correspond au stock de scurit du chteau deau). La diffrence des dbits des
ouvrages de pompage deau et de sa distribution permet dassurer le
remplissage de louvrage du stockage jusqu sa hauteur maximale (hmax). Dans
ces conditions, les temps de remplissage et de vidange du chteau deau sont
imposs par la dynamique continue du systme. Le passage dune phase
lautre (du continu au discret ou inversement) ncessite une action discrte
(mise en tat de marche de louvrage pompage deau pour le remplissage du
chteau deau ou bien celui de louvrage de distribution pour le vidange du
39

M. Djebabra, L. Bahmed, N. Bennoui et A. Abibsi / Larhyss Journal, 4 (2005) 37-49

chteau deau).
Pour complter les informations prcdentes, prcisons comment est effectue
la fluctuation de leau entre les deux hauteurs de rfrence (hmin et hmax) :
Initialement, le niveau deau dans le chteau deau est son bas niveau (niveau
deau = hmin). A ce niveau, louvrage de distribution deau est mis hors service
afin de prserver le stockage de scurit dans le chteau deau. Pour entamer le
remplissage du chteau deau, loprateur mis en tat de marche louvrage de
pompage deau et la phase du remplissage du chteau deau devient effective
jusqu sa hauteur maximale (niveau deau = hmax). Afin dviter le dversement
de leau dans la nature, loprateur procde la mise hors-service de louvrage
de pompage deau. Finalement, la rgulation de leau dans le chteau deau est
garantie par les ouvrages de pompage, de transport et de distribution deau.
Le tableau 1 regroupe les donnes relatives au fonctionnement du systme
dalimentation en eau potable dune partie de la ville de Batna telle quelles sont
fournies par deux oprateurs.
Tableau 1 : Dures, priodes de pompage et distribution deau potable
Pompage de leau
Priode de pompage deau = journe

Distribution de leau
Priode de distribution deau = 2 fois par jour

Tpompage - eau = 6 heures

Tdistribution-eau = 2 x 2 heures

Signalons que dans le tableau 1, nous ne nous sommes limits quaux donnes
relatives au pompage deau dans le chteau deau et sa distribution. Ainsi, le
pompage deau seffectue rgulirement tous les jours. Par contre, la
distribution de leau seffectue, dune manire gnrale, des intervalles
rguliers (selon les besoins des populations qui varient en fonction des saisons
et des occasions telles que les ftes, ).
Selon nos informations, la priode moyenne de distribution deau est de deux
fois par jour (dbuts de la matine et de la soire). De mme, le fonctionnement
moyen de la pompe est de deux heures par priode (soit quatre heures par jour).
Signalons galement, que pour des raisons de simplification, nous avons inclue
la dure de transport de leau dans la dure relative au pompage deau (soit une
dure totale de six heures par jour).
De mme, nous navons pas pris en considration des pertes deau au niveau de
louvrage de transport ainsi que le sjour deau dans le chteau deau avant sa
distribution la population (traitement deau dans le chteau deau).
Ces simplifications nous permettent deffectuer une premire approche de ce
systme o lon sintresse, rappelons-le, la scurit dalimentation en eau
potable.

40

tude de la scurit dun systme dalimentation en eau


par les rseaux de Petri hybrides

NOTIONS FONDAMENTALES SUR LES RESEAUX


DE PETRI HYBRIDES
Les notions fondamentales, rappeles ci-aprs sur les RdP-hybrides, sont
illustres sur un exemple simple (figure 2). Elles permettent de comprendre la
structure de ces rseaux ainsi que le principe de leur fonctionnement.

P1
3,0

P1
3,0
P1

T1

V1

T1

1,0 P2
T2

V2
(a)

V1
1,0 P2

T2

P2

V2
(b)

Figure 2 : Exemple simple des RdP continu et hybride.


(a) : RdP-Continu. (b) : RdP-Hybride
Sur la figure 2a, relative un RdP-C, le marquage des places P1 et P2 seffectue
de faon continue avec des vitesses de franchissement V1 pour la transition T1 et
V2 pour la transition T2. La figure 2b, reprsente un RdP-H similaire au RdP-C
de la figure 2a.
Lexamen de ces deux figures nous permet de soulever les deux remarques
suivantes :
- Les places P1 et P2 najoutent aucune contrainte la validation des
transitions T1 et T2.
- Le RdP-H de la figure 2b tant simple, mais il donne une ide sur la ncessit
de rsoudre le problme de conflits entre transitions (ici, elles sont continues).
Pour rsoudre ce problme dune manire gnrale, nous devons laborer des
hypothses permettant de rsoudre les conflits entre :
transitions continues:
transitions discrtes et continues.

41

M. Djebabra, L. Bahmed, N. Bennoui et A. Abibsi / Larhyss Journal, 4 (2005) 37-49

Dans le cas, de conflits entre transitions continues, il y a deux cas considrer.


Ils sont dcrits ci-aprs (ZAYTOUN, 2001).

T1

V1=2

P1

V2=3 T3

T2

V3=1

Figure 3 : Exemple de conflit entre transitions continues


et dont la place commune est continue.
Sur la figure 3, P1 est vide. Elle est alimente par T1 une vitesse de
franchissement gale V1. Dans ce cas, il y a un conflit car v1 < (V2+V3). Ainsi,
toutes les solutions telles que (v2 + v3) = v1 = 2 sont possibles.
Il est noter quil n y a pas de conflit si v1 = 0 (T1 et T2 ne sont pas valides) ou
bien si v1 (V2 + V3) (T1 et T2 peuvent tre franchies leurs vitesses
maximales).
Rgle 1 : Pour les modles dont les vitesses ne dpendent pas des marquages
des places d'entre : s'il y a conflit entre plusieurs transitions continues ayant
une place continue d'entre en commun, toute solution telle que son marquage
reste zro est admissible.
Pour rsoudre ce conflit, nous avons trois solutions : priorit T2 sur T3 (v2 = 2
et v3 = 0), priorit T3 sur T2 (v3 = V3 = 1 et v2 = 1) ou partage proportionnel
aux vitesses maximales (v2 = 1,5 et v3 = 0,5).

T4
P4

T6

T5

V4
18

P3
V6=3

P5

T7

V5
6,3
V7=2

Figure 4 : Exemple de conflit entre transitions continues dont la place


commune est discrte.

42

tude de la scurit dun systme dalimentation en eau


par les rseaux de Petri hybrides

Sur la figure 4, P3 correspond une ressource partage entre deux oprations A


et B reprsentes, successivement, par T6 et T7. Si la ressource est alloue
lopration A, alors v6 = V6 = 3 (dans ce cas, v7 = 0). Par contre, si la ressource
est alloue lopration B, alors v7 = V7 = 2 (dans ce cas, v6 = 0).
Cependant, la ressource peut tre partage entre les deux oprations en
respectant la condition (vi/Vi) = 1.
Rgle 2 : Pour les modles dont les vitesses ne dpendent pas des marquages
des places d'entre : s'il y a conflit entre plusieurs transitions continues ayant
une place discrte d'entre en commun contenant un jeton, toute solution est
telle que (vi/Vi) = 1.
Rgle 3 : Dans le cas de conflit entre une transition discrte et une transition
continue, la transition discrte est prioritaire sur la transition continue.
La rgle 3 se justifie par le fait que le franchissement dune transition discrte
corresponde loccurrence dun vnement associ cette transition, tandis que
la transition continue reflte lvolution continue du phnomne continu. Do
la logique de privilgier la transition discrte.
Ainsi, lors de la modlisation des systmes dynamiques hybrides, lintrt est
port surtout sur le couplage des parties discrtes et continues. Ce principe est
illustr par la figure 5.
Modle hybride
Partie discrte

Partie continue
Date du prochain vent. discret
est gale la date courante

Existet-il une place


continue active ?

Mise jour du systme dquations

Intgration

Tir de la prochaine transition

Date du prochain vent. discret dpass


ou seuil variable continu dpass ?
Oui
Arrt de lintgration

Etat de variables continus et


description de lvent darrt
dintgration (dpassement de
date ou de seuil)

Figure 5 : Procdure de couplage des phnomnes discrets et continus


dans un systme dynamique hybride.

43

M. Djebabra, L. Bahmed, N. Bennoui et A. Abibsi / Larhyss Journal, 4 (2005) 37-49

NOTIONS FONDAMENTALES SUR LES RESEAUX


DE PETRI HYBRIDES
A partir de la description du systme dalimentation en eau potable dune partie
de la ville de Batna que nous avons prsente au deuxime paragraphe, et en se
basant sur les notions fondamentales des RdP-hybrides dcrites au troisime,
nous avons labor un premier modle RdP-hybride de ce systme (figures 6 et
7). Les figures 8 et 9 prsentent quant elles les rsultats de la simulation des
marquages dautres places importantes dans le RdP-hybrides du systme tudi.
Selon les conditions de fonctionnement du systme dalimentation en eau
potable dune partie de la ville de Batna, les rsultats de la simulation montrent
que la population de cette partie de la ville de Batna nest pas alimente
rgulirement. Les figures 6 et 7 rvlent un marquage rgulier de la place
relative larrt de louvrage de distribution, ce qui signifie une interruption
rgulire de lalimentation en eau. Certes, cette interruption est courte mais elle
a son impact sur la population, surtout en priode de crise (saison dt, par
exemple). Les rsultats de la simulation (Fig. 9) montrent galement que la mise
hors service de louvrage de pompage de leau, suite au remplissage du chteau
deau, na jamais eu lieu (frquence de franchissement moyen de la transition
Mise larrt 2 est nulle), ce qui confirme les interruptions rgulires
voques prcdemment.

Figure 6 : valuation de lalimentation en eau potable dune partie de la


ville de Batna (dure de la simulation = une semaine).
44

tude de la scurit dun systme dalimentation en eau


par les rseaux de Petri hybrides

Figure 7 : valuation de lalimentation en eau potable dune partie de la


ville de Batna. (Dure de la simulation = un mois).

Figure 8 : Marquage de la place ouvrage de pompage


en tat de marche .
45

M. Djebabra, L. Bahmed, N. Bennoui et A. Abibsi / Larhyss Journal, 4 (2005) 37-49

Figure 9 : Marquage de la place variation du niveau deau


dans le chteau deau .
videmment, les RdP-hybrides sont supports par des logiciels professionnels
puissants.
Lavantage dutiliser ces logiciels rside dans leur capacit de mettre en valeur
des alternatives permettant dagir sur le modle, afin de perfectionner le
fonctionnement du systme. Dans le but dillustrer notre propos, nous avons
suppos que la commande de la partie discrte du systme (ouvrages de
pompage et de distribution deau) seffectue dune manire automatique. Cest
ce qui nous a conduit modifier lgrement le RdP-hybrides du systme
(figures 10 et 11).

46

tude de la scurit dun systme dalimentation en eau


par les rseaux de Petri hybrides

Figure 10 : valuation du niveau deau avec une commande automatique


de louvrage de pompage.

Figure 11 : Marquage de la place relative louvrage de pompage en tat


de marche (avec une commande automatique de cet ouvrage).
47

M. Djebabra, L. Bahmed, N. Bennoui et A. Abibsi / Larhyss Journal, 4 (2005) 37-49

Remarquons que la commande automatique de louvrage de pompage permet


dviter les interruptions au niveau dalimentation en eau potable de la
population, tout en respectant la priodicit de la mise hors service de cet
ouvrage.
CONCLUSION
Dans cet article, nous nous sommes intresss un systme dalimentation en
eau potable caractris par un comportement hybride : une partie discrte (cest
le cas des ouvrages de pompage et de distribution) et une partie continue (cest
le cas de la fluctuation deau dans le chteau deau).
Le modle retenu pour ltude de ce type de systmes tant les rseaux de Petri
hybrides. Notre tude confirme la robustesse de ce modle dont lutilisation
ncessite le recours loutil informatique.
Notre objectif a t de montrer que ce modle, support par des logiciels
professionnels, peut constituer une aide utile pour une meilleure conception de
ce type de systmes et par voie de consquence pour une meilleure gestion de
nos ressources naturelles.
Les simplifications apportes au systme tudi ont pour but dillustrer les
possibilits offertes par les rseaux de Petri hybrides pour ltude de ce type de
systme. Il reste nanmoins prendre en considration dautres donnes
relatives : (i) la perte deau au niveau de louvrage de transport, (ii) aux
dfaillances probables des lments matriels des diffrents ouvrages du
systme et (iii) la gestion de la rparation de ces dispositifs.
Ce sont les perspectives que nous projetons pour ce travail dans le but de
pouvoir affirmer que les rseaux de Petri hybrides peuvent constituer une
alternative incontournable pour ltude des systmes dynamiques hybrides.
REFERENCES BIBLIOGRAPHIQUES
ALDEMIR A. (1987). Computer assisted Markov failure modelling of process
control systems, IEEE, Transaction on reliability, Vol. R-36 N1, pp.
133-144.
BAHMED L., Djebabra M., ABIBSI A. (2004). Une dmarche dintgration du
concept qualit, scurit et environnement aux systmes dalimentation
en eau potable, LARYSS Journal, Journal du Laboratoire de recherche en
hydraulique souterraine et de surface, Universit de Biskra, Algrie. N 3,
pp. 115-128.
BENNOUI N. (2004). Etude des systmes dynamiques hybrides par les rseaux
de Petri, Mmoire de Magister soutenu au Dpartement H-S. de la
Facult des Sciences de lIngnieur, Universit de Batna, Algrie.
DJEBABRA M., SAADI S. (1999). Mthodologie dtude de sret de
48

tude de la scurit dun systme dalimentation en eau


par les rseaux de Petri hybrides

fonctionnement des systmes : analyse fonctionnelle, Phoebus, revue de


la sret de fonctionnement. ditions Prventique , France. N 10, pp. 2734.
DJEBABRA M., SAADI S. (1999). Mthodologie dtude de sret de
fonctionnement des systmes : analyse des dfaillances, Phoebus, revue
de la sret de fonctionnement. ditions Prventique , France. N 12, pp.
24-32.
DUTUIT Y., CHATELET E., SIGNORET J.P., THOMAS P. (1996).
Dependability modelling and evaluation by using stochastic Petri nets:
application to two test-cases, Reliability engineering systems safety,
N51, pp. 1-8.
GHARBI M.K., LADET P. (1994). Application of fuzzy control to a water
bottling line, Proceeding IEEE on syst, men and cyber., pp. 812-817.
GOMEZ G. (2000). Simulation des systmes dynamiques, http://www.saphircontrol.fr.
LIMNIOS N. (1990). Failure delay systems reliability modelling,. System
Reliability Assesment, pp. 145-158.
LUNZ J. (1992). A Petri net approach to qualitative modelling of continuous
dynamical systems, SAMS review, Vol. 9, pp. 98-111.
OGATA K. (1998). System dynamics, Third edition Printice Hall International,
Inc.
VILLEMEUR A.(1988). La sret de fonctionnement des systmes industriels.
Edition Eyrolles , France.
ZAYTOON J., FERRIER J.L. (2001). Rappels sur les systmes vnements
discrets dans les systmes dynamiques hybrides, Edition Herms
France.

49

Vous aimerez peut-être aussi