Pzna Anna Ibolya

TECHNOLGIAI RENDSZEREK SZNEZETT PETRI HL ALAP

MODELLEZSE S DIAGNOSZTIKJA

Tmavezetk: dr. Gerzson Mikls, dr. Leitold Adrien

Mszaki Informatikai Kar, Villamosmrnki s Informcis Rendszerek

Tanszk

Pannon Egyetem
Intzmnyi Tudomnyos Dikkri Konferencia
2014
 Absztrakt

Technolgiai rendszerek mkdsnek vizsglata sorn fontos feladat a rendszerben

esetlegesen fellp hibk azonostsa s az egyes hibk kvetkezmnyeinek elemzse. A
szakirodalomban szmos diagnosztikai eljrs ismert, melyek kzl a modell alap
mdszerek igen elterjedtek.

A Petri hlk s azok klnbz kiterjesztsei (sznezett, idztett, hierarchikus) jl

hasznlhatk diszkrt esemny rendszerek modellezsre. Sznezett Petri hl alap
modelleket gyakran alkalmaznak pldul gyrtsorok modellezsre. Ezen modellek
elksztsnl fontos, hogy azok ne csak a norml, hibamentes mkdst rjk le,
hanem klnbz, vletlenszeren elfordul hibalehetsget is figyelembe vegyenek.

Dolgozatomban kt gyrtsorbl s egy azokat kiszolgl robotbl ll rendszer

sznezett Petri hl modelljt ksztem el CPNTools szoftver csomag segtsgvel,
amelybe az n. hibagenerl fggvny segtsgvel vletlenszeren fellp
hibalehetsgeket is beptek. A modell idztett s idztetlen vltozatt is elksztem,
s szimulcival, illetve az elrhetsgi grf elemzsvel vizsglom a gyrtrendszer
mkdst.

Sok esetben a technolgiai folyamatok norml vagy hibs mkdse olyan

esemnysorozattal jellemezhet, amelyeknek vltozi diszkrt vagy kvalitatv rtket
vesznek fel. Ilyenkor a normlis s tnyleges mkds esemnysornak
sszehasonltsval az elfordul eltrsek generlhatak. A PHAZID diagnosztikai
mdszer az szlelt eltrsek alapjn visszafel irnyul kvetkeztetssel keresi a hiba
okt.

Dolgozatomban egy tartly feltltsi folyamat pldjn ksztem el a technolgiai

folyamat kvalitatv modell alap sznezett Petri hljt, amely egyarnt megadja a
norml, hibamentes, valamint a klnbz hibalehetsgeket rejt modelljt. Az
elksztett Petri hl alkalmas a klnbz zemmdok esetn elll eltrsek
generlsra is. A Petri hlval val hierarchikus modellezsi lehetsget felhasznlva
elksztem tbb tartlybl ll, klnbz kapcsols rendszerek Petri hl alap
modelljt. Vizsglom, hogy az elksztett Petri hlk elrhetsgi grfja miknt
hasznlhat fel egy vals esemnysort ismerve az esetlegesen elfordul hibk
azonostsra.

2
Tartalomjegyzk
I. Bevezets.......................................................................................................................4
II. Elmleti ttekints......................................................................................................6
1. Sznezett Petri hlk....................................................................................................6
1.1. A multihalmaz fogalma..........................................................................................6
1.2. A sznezett Petri hl formlis defincija.............................................................7
1.3. Sznezett Petri hlk dinamikai viselkedse..........................................................8
1.4. Sznezett Petri hlk dinamikai tulajdonsgai.....................................................10
1.5. Sznezett Petri hl analzise az elrhetsgi grf alapjn...................................11
2. Idztett sznezett Petri hlk ..................................................................................13
2.1. Idztett multihalmazok ......................................................................................13
2.2. Idztett sznezett Petri hlk formlis defincija..............................................13
3. Technolgiai rendszerek kvalitatv modell alap diagnosztikja..........................15
3.1. Esemnyek, esemnysorok kvalitatv lersa ......................................................15
3.2. Kvalitatv modell alap diagnosztikai mdszerek...............................................16
III. Sajt eredmnyek....................................................................................................18
4. Gyrtrendszer modellezse sznezett Petri hlval...............................................18
4.1. A gyrtrendszer bemutatsa...............................................................................18
4.2. A gyrtrendszer sznezett Petri hl modellje hibamentes mkds esetn......19
4.3. Technolgiai rendszerben elfordul hibalehetsgek beptse a modellbe......21
4.4. Idzts beptse a sznezett Petri hl modellbe...............................................21
4.5. Sznezs megvltoztatsa ....................................................................................22
4.6. Szimulcis vizsglatok ......................................................................................23
4.7. Vizsglat az elrhetsgi grf alapjn a CPN Tools-ban.....................................24
4.8. Rendszerllapotok bekvetkezsi valsznsgeinek szmtsa az elrhetsgi
grf lslyozsval......................................................................................................30
5. Technolgiai folyamatok kvalitatv modell alap diagnosztikja sznezett Petri
hl hasznlatval..........................................................................................................36
5.1. Esemnysorok reprezentcija sznezett Petri hlval........................................36
5.2. Az elrhetsgi grfon alapul diagnosztikai mdszer........................................37
5.3. Egyszer technolgiai rendszer diagnosztikai vizsglata....................................38
5.4. sszetett technolgiai rendszerek diagnosztikai vizsglata................................43
5.5. sszetett technolgiai rendszerek diagnosztikja strukturlis dekompozcival 45
IV. sszefoglals............................................................................................................49
V. Irodalomjegyzk........................................................................................................50
VI. Mellkletek...............................................................................................................51

3
I. Bevezets
Diszkrt esemny rendszerek modellezsnek s analzisnek egyik gyakori
alkalmazsi terlete a klnfle gyrtrendszerek mkdsnek vizsglata [1]. A
mkdtetssel kapcsolatos klnfle problmk, mint pldul hibalehetsgek
modellezse, hibk azonostsa, diagnosztikja, dinamikus vizsglatok, egyes temezsi
problmk, stb. hatkonyan kezelhetek diszkrt esemny dinamikus modellek
hasznlatval, pldul Petri hl alap modellek alkalmazsval [2].
Gyrtrendszerek esetn a Petri hl alap modellek hatkony alkalmazhatsga
azzal magyarzhat, hogy ezek a technolgik gyakran felbonthatk klnbz
mveleti lpsekre, amelyek egyms utn vagy egymssal prhuzamosan jtszdhatnak
le. A gyrtrendszerek tervezsekor leggyakrabban az n. hibamentes mkdst ler
modellt szoks elkszteni, de a rendszer mkdsnek vizsglatra fontos s hasznos az
is, ha klnbz elfordul hibaesemnyeket is beptnk a modellbe. Korbbi
kutatsokbl ismert a klnbz technolgiai hibknak alacsony szint Petri hl alap
modellbe trtn hatkony beptse [3]. Ennek sorn sznezett Petri hlv alaktva a
modellt, a hibalehetsgeket is tartalmaz modell mrete nem nvekszik meg
lnyegesen.
Gyrtrendszerek mkdsnek modellezsre jl hasznlhatak a Petri hl alap
modellek kzl a sznezett Petri hlk is [4], gy jelen dolgozatom els rszben a fenti
hibabeptsi eljrst egy olyan gyrtrendszerre alkalmazom, ahol a rendszer
hibamentes mkdst is sznezett Petri hlval modellezem. A vizsglatban elksztem
egy kt gyrtsorbl s az azokat kiszolgl robotbl felpl gyrtrendszer sznezett
Petri hl alap modelljt. A modellbe a gyrtsorokon fellp hibalehetsgeket
ptem be. A Petri hlkban alap esetben az egyes esemnyeket modellez tmenetek
pillanatszeren jtszdnak le. Ezzel szemben, a vals rendszerek mkdse sorn az
egyes esemnyek ltalban nem pillanatszerek, lejtszdsi idejk pedig jelentsen
befolysolhatja a technolgiai lpsek vgrehajtst. Ezrt elksztem a vizsglt
gyrtrendszer idztett sznezett Petri hljt is. A hibamentes, illetve a
hibalehetsgeket is magba foglal sznezett Petri hl modelleket idzts nlkli s
idztett esetben is a CPN Tools szoftver segtsgvel lltom el.
A gyrtrendszer mkdsnek vizsglatra az elksztett Petri hl alap modellek
szimulcis vizsglatai, valamint az elrhetsgi grfok elemzse ad lehetsget a CPN
Tools-ban. Az elrhetsgi grf analzisnek lehetsgei a CPN Tools-ban meglehetsen
korltozottak, msrszt a hibaesemnyek bekvetkezsi valsznsgeire vonatkoz
informcik az elrhetsgi grfon a CPN Tools-ban elvesznek. gy a kutatcsoportban
korbban kifejlesztett, OGAnalyzer elnevezs szoftvert is felhasznlom, amellyel az
elrhetsgi grfon lslyozst bevezetve az egyes rendszerllapotok bekvetkezsi
valsznsgei meghatrozhatk. A vizsglt gyrtrendszer mkdst a CPN Tools-t s
az OGAnalyzer szoftvert hasznlva szimulcikkal s elrhetsgi grf alapjn
vizsglom mind hibamentes, mind hibalehetsgeket is magba foglal vltozatban,
idzts nlkli s idztett esetekben is.
Diszkrt esemny rendszereknl sok esetben a technolgiai folyamat norml vagy
hibs mkdse olyan esemnysorozattal jellemezhet, amelynek vltozi diszkrt vagy
kvalitatv rtkeket vesznek fel. Ilyenkor a norml s a tnyleges mkds
esemnysornak sszehasonltsval az elfordul eltrsek generlhatak. A kvalitatv

4
modell alap diagnosztikai mdszerek egy rsze, pl. a P-HAZID eljrs [5] az szlelt
eltrsek alapjn visszafel irnyul kvetkeztetssel keresi a hiba okt.
A diszkrt vagy kvalitatv vltozkat tartalmaz normlis vagy hibs mkdseket
ler esemnysorok sznezett Petri hlval is modellezhetek, s a Petri hl
elrhetsgi grfja egy vals esemnysor ismeretben felhasznlhat az elfordul
hibk azonostsra.
Ezen j diagnosztikai mdszer illusztrlsra egy tartly feltltsi folyamatnak
kvalitatv modell alap sznezett Petri hljt ksztettem el, amely egyarnt modellezi a
norml (hibamentes) s a klnbz hibalehetsgeket ler esemnysorokat. A Petri
hl alkalmas a klnbz zemmdok esetn elll eltrsek generlsra is.
A Petri hlval val hierarchikus modellezsi lehetsgeket kihasznlva elksztem
tbb tartlybl ll, klnbz kapcsols tartlyrendszerek feltltsi folyamatnak
Petri hl modelljt is. Bemutatom, hogy az elksztett Petri hlk elrhetsgi grfja
miknt hasznlhat fel egy vals esemnysort ismerve az elfordul hibk
azonostsra.
Az sszetett technolgiai rendszerekhez tartoz elrhetsgi grfok tlsgosan nagy
mretek, gy az azokon trtn keressi feladatok idignyesek. Ezrt megvizsglom,
hogy sszetett rendszerek esetn a teljes rendszer diagnosztikja strukturlis
dekompozcival hogyan vezethet vissza az egyes alrendszerek vizsglatra.
A dolgozat felptse: A bevezets utn a II. fejezet elmleti ttekintst ad az ltalam
modellezsi eszkzknt felhasznlt sznezett Petri hlkrl, ismertetve a legfontosabb
alapfogalmakat s hltulajdonsgokat. Ezutn ttekintem a kvalitatv modell alap
diagnosztikai mdszereket. A III. fejezet sajt eredmnyeimet tartalmazza: a 4. fejezet
ismerteti a gyrtrendszer klnbz sznezett Petri hl alap modelljeit, majd a
gyrtrendszer mkdstnek vizsglatt a CPN Tools s az OGAnalyzer szoftverek
segtsgvel. Az 5. fejezetben az j, kvalitatv modell alap diagnosztikai eljrst
ismertetem, klnbz pldkkal illusztrlva azt. A IV. fejezetben sszefoglalom az
eredmnyeimet. A nagyobb mret brk egy rsze a Mellkletben tallhat.

5
II. Elmleti ttekints

1. Sznezett Petri hlk

A Petri hlk olyan modellek, amelyek segtsgvel a vizsglt rendszerek egyszerre
grafikus s matematikai mdon is lerhatak. Nevt C.A. Petri nmet matematikusrl
kapta, aki 1962-ben publiklta mdszert. A Petri hl elnye, hogy egyszerre ad
informcit a rendszer struktrjrl s mkdsrl is. Alkalmazsnak msik elnye,
hogy a Petri hl formlis analzisvel a modellezett rendszer tulajdonsgairl tovbbi
informcikat kaphatunk. A Petri hlkat elssorban diszkrt esemny s diszkrt idej
rendszerek modellezsre hasznljk, de ezen kvl sok ms terleten is alkalmazhatk,
s szmos tovbbfejlesztett vltozatuk van [6]. A kvetkez fejezetekben a sznezett
Petri hlkhoz kapcsold fogalmakat mutatom be. [6][7]

1.1. A multihalmaz fogalma

A sznezett Petri hl lershoz szksges egyik alapvet fogalom a multihalmaz

fogalma. A multihalmaz abban klnbzik a kznsges halmazoktl, hogy ugyanaz az
elem tbbszr is elfordulhat benne. Egy multihalmaz megadsnl teht az elemek
felsorolsa mellett meg kell adni azt is, hogy az egyes elemek hnyszor fordulnak el
benne. A multihalmazokat mindig egy S nemres, vges halmaz felett definiljuk, ami
azt jelenti, hogy a multihalmaz elemei az S halmazbl szrmaznak. Megadshoz S
minden elemrl tudnunk kell, hogy hnyszor fordul el a multihalmazban. Ezt
ltalban olyan formlis sszegzssel tehetjk meg, ahol S minden elemnek van egy
egytthatja, amely megadja az adott elem elfordulsainak szmt.

Definci Egy vges, nemres S halmaz feletti m multihalmazon az m [ S ]

fggvnyt rtjk, ahol a termszetes szmok halmaza, az [ A B ] pedig a valamennyi
A-bl B-be kpez fggvny halmaza. Az m(s) nemnegatv egsz szm az s S
elem elfordulsainak szmt adja meg az m multihalmazban. Az m multihalmazt
ltalban a kvetkez formlis sszeggel adjuk meg: m( s) `s. Az S fltti sszes
sS
multihalmaz halmazt SMS -sel jelljk. Az {m(s)s S } nemnegatv egszeket az m
multihalmaz egytthatinak hvjuk, m( s) az s egytthatja. Egy s S elem akkor
tartozik az m multihalmazhoz, ha m(s)0. Jellse: sm .

A multihalmazok kztt klnbz mveleteket definilhatunk:

Definci Legyen m , m 1, m 2S MS s n . Ekkor:
1. m1+ m2= (m 1 ( s)+ m2 ( s)) `s (sszeads)
s S
2. nm= (nm( s )) `s
s S

(skalrral val szorzs)

3. m1m2 s S :m1 ( s)m2 (s) (sszehasonlts)

6
 m1m2 s S : m 1 (s)m2 ( s)
4. m= m( s)
s S

(szmossg)
Ha |m| = , akkor az m multihalmaz vgtelen, egybknt m vges. Ha m1m 2 , akkor
definiljuk a kivonst is:
5. m 2 m 1= (m 2 ( s)m 1 ( s)) `s (kivons)
s S

1.2. A sznezett Petri hl formlis defincija

A sznezett Petri hl egy irnytott, pros grf. A grf cscspontjait kt csoportra

oszthatjuk: az egyikbe a krkkel jellt helyek (place), a msikba a tglalapokkal jellt
tmenetek (transition) tartoznak. Az tmenetek a modellezett rendszerben lejtszd
esemnyeknek, a helyek az esemnyek feltteleinek, illetve kvetkezmnyeinek
feleltethetek meg. A helyeket az tmenetekkel irnytott lek ktik ssze gy, hogy l
mindig csak helybl tmenetbe, vagy tmenetbl helybe vezethet. Az lekhez s az
tmenetekhez klnbz kifejezseket rendelhetnk, amelyek megadjk, hogy a
folyamat milyen felttelek mellett, milyen mdon jtszdik le. Ha a rendszer mkdse
sorn bekvetkez vltozsokat is szeretnnk kezelni, akkor a helyekhez jelzpontokat
(token) rendelhetnk. A sznezett elnevezs arra utal, hogy a helyekhez s a
jelzpontokhoz n. szneket rendelhetnk, gy megklnbztetve ket egymstl. A
formlis definci sorn meg kell adnunk a sznhalmazokat, a grf cscsait s leit,
valamint a hozzjuk kapcsold klnbz logikai kifejezseket, fggvnyeket.
A sznezett Petri hl formlis defincijhoz vezessk be a kvetkez jellseket:
Type(v) jellje egy tetszleges v vltoz tpust.
Type(expr) jellje egy tetszleges expr kifejezs tpust.
Var(expr) jellje egy tetszleges expr kifejezsben szerepl vltozk
halmazt.
b(VAR) jellje a vltozk egy VAR halmaznak lektst. A lekts sorn a
VAR halmaz minden vi elemhez hozzrendelnk egy rtket, a kvetkez
mdon: < v 1=c1, v 2=c 2, ... , v n=c n > , c i Type( v i) ,i=1, ... , n.
expr<b> jellje egy tetszleges expr kifejezs rtkt az adott b lektsben.
A kifejezs kirtkelsekor minden v VAR vltoz esetn
behelyettestjk a b( v)Type (v ) rtkeket, a b lektsnek megfelelen.
Zrt kifejezsnek nevezzk az olyan kifejezseket, amelyek nem
tartalmaznak vltozkat. A zrt kifejezsek tetszleges lekts esetn
kirtkelhetk, s eredmnyl mindig ugyanazt kapjuk.
B jelentse a {true, false} logikai rtkeket tartalmaz halmazt.

Definci A sznezett Petri hl az albbi kilencessel rhat le:

CPN =( , P ,T , A , N , C , G , E , I ) , ahol
: sznhalmazok vges halmaza; a hl megadsa sorn alkalmazhat
nemres, vges sznhalmazokat (tpusokat) tartalmazza

7
 P: a helyek vges halmaza;
T: az tmenetek vges halmaza;
A: az vek (lek) vges halmaza, ahol PT =P A=T A= ;
N: a csompont-fggvny; az vekhez rendeli hozz a helyekbl s
tmenetekbl ll rendezett prokat, N [ A P T T P ] ;
C: a sznfggvny; minden helyhez hozzrendeli az ott lehetsges
jelzpontsznek halmazt, C [ P ] ; a p P helyen lv minden
jelzpont c sznre teljeslnie kell, hogy Type (c)C ( p) .
G: a korltfggvny; az tmenetekhez egy logikai kifejezst rendel hozz,
aminek igaz rtke esetn jtszdhat le az tmenet,
G [ T {logikai kifejezs}] ,ahol
t T : [ Type(G (t ))=BType (Var (G(t ))) ] .
E: az vkifejezs-fggvny; az vekhez rendel hozz kifejezseket, melyek
meghatrozzk, hogy az tmenet hogyan jtszdik le. E [ A {kifejezs}] ,
ahol a A: [ Type( E(a))C ( p (a))MS Type (Var ( E (a))) ] ,
ahol p (a ) az a vhez a csompont-fggvny ltal rendelt cscsprbl a hely.
A kifejezs csak a p (a ) helyhez rendelt sznek halmaznak elemeit
tartalmazhatja. Az a vhez rendelt kpelemknt egy, az adott helyhez tartoz
sznhalmaz feletti multihalmazt kapunk.
I: az indulllapot-fggvny; a helyekhez rendeli hozz az indul llapotnak
megfelel jelzpont rtkeket I [ P {zrt kifejezs}] , ahol
pP :Type ( I ( p))C ( p) MS . Az indulllapot-fggvny ltal a helyekhez
rendelt kifejezsek nem tartalmazhatnak vltozkat. Az I fggvny ltal a
helyekhez rendelt kifejezs is az adott helyhez tartoz sznhalmaz feletti
multihalmazba tartozik.

1.3. Sznezett Petri hlk dinamikai viselkedse

Az elbbi definci a Petri hl struktrjt rja le. A tokenek bevezetsvel azonban

a Petri hlban bekvetkez vltozsokat is kvetni tudjuk. A Petri hl dinamikai
viselkedsnek lersakor azt adjuk meg, hogy az tmenetek milyen szablyok szerint
jtszdnak le, valamint hogyan befolysoljk a jelzpontok eloszlst.
A Petri hl dinamikai viselkedsnek lershoz vezessk be a kvetkez jellseket:
X =PT jellje az sszes cscs halmazt;
Legyen A S az a fggvny, amely minden x cscshoz hozzrendeli azokat az
leket, amelynek x kiindulpontja vagy vgpontja:
A S [ X AMS ] , A S ( x)={a A x ' X :[ N (a)=(x ' , x)N (a )=( x , x ')]}
A t tmenethez tartoz vltozk Var (t) halmaza:
t T :Var (t)={vv Var (G(t)) aA S (t): vVar ( E( a))}
Az ( x1 , x2 ) rendezett prhoz tartoz E (x 1 , x 2) kifejezs:
(x 1 , x 2 )(PT T P ): E( x 1 , x 2 )= E (a) , azaz E (x 1 , x 2) az x1 s
(x 1 , x 2)N (a)
x2 kztti vekhez tartoz vkifejezsek sszege. Az sszegzs jl definilt,
mivel minden kifejezs tpusa azonos.

8
Definci Egy t tmenet lektse egy olyan, az tmenet vltozinak Var (t) halmazn
rtelmezett b fggvny, amelyre:
vVar ( t): b(v )Type (v) ;
G(t)< b> =true , ahol G(t )< b> a G(t) korltfggvny kirtkelse a b
lektsre.
A t tmenet sszes lektsnek halmazt B( t) -vel jelljk.
Definci
Egy jelzpontelem egy ( p , c ) pr, ahol p P s c C ( p)
Egy lektselem egy (t , b) pr, ahol tT s bB(t)
Az sszes jelzpontelem halmaza TE
Az sszes lektselem halmaza BE
Egy jelzponteloszls legyen egy TE feletti multihalmaz, jele: M
Egy lps legyen egy BE feletti nemres, vges multihalmaz, jele: Y
Az M0 indul jelzponteloszls az inicializl kifejezsek kirtkelsvel kapott
jelzponteloszls: ( p , c)TE : M 0 ( p , c)=( I ( p))(c)
Az sszes jelzponteloszls halmazt jellje M, az sszes lps halmazt jellje
Y .
Egy tmenet akkor jtszdhat le, ha az engedlyezett. Az engedlyezettsg azt
jelenti, hogy az tmenethez kapcsold sszes felttel teljesl, vagyis az sszes
bemeneti helyen legalbb annyi token van, amennyi elegend ahhoz, hogy az
sszes vkifejezs-fggvnyben szerepl kifejezst kielgtse.

Definci Egy Y lps engedlyezett egy adott M jelzponteloszls esetn, ha a

kvetkez felttel teljesl: p P : E ( p , t)< b> M ( p) . (Az E ( p ,t )< b>
(t , b)Y
kifejezs kirtkelsekor megkapjuk a jelzpontsznek azon multihalmazt, amelyeket
eltvoltunk a p helyrl a t tmenet b lektse sorn.) Legyen az Y lps engedlyezett
az M jelzponteloszls esetn. Ha (t , b)Y , akkor azt mondjuk, hogy t engedlyezett
az M jelzponteloszlsban (a b lektsre vonatkozan). Ha (t 1 , b1 ),(t 2 ,b 2)Y s
(t 1 , b1 )(t 2 , b2 ) akkor azt mondjuk, hogy (t 1 , b1 ) s (t 2 , b 2) ill, t1 s t2 egyidejleg
engedlyezettek. Ha Y (t)2 , akkor t nmagra nzve prhuzamosan engedlyezett.
Ha Y ( t , b)2 akkor (t , b) nmagra nzve prhuzamosan engedlyezett.
Egy lps vgrehajtsa sorn a bemeneti helyekrl tokeneket tvoltunk el, a kimeneti
helyekhez tokeneket adunk hozz. A tokenek sznt s szmt az vkifejezs-
fggvnyek adott lektsre val kirtkelse adja meg.

Definci Y lps lejtszdsa: Ha egy Y lps engedlyezett egy M

jelzponteloszlsban, akkor az le is jtszdhat, ennek sorn az eredeti M1
jelzponteloszls M2 -re vltozik, a kvetkez szably szerint:

p P : M 2 ( p)=M 1( p) E ( p , t)< b> + E ( t , p)< b> .

(t ,b)Y (t ,b )Y

Az els sszeg az egyes helyekrl eltvoltott jelzpontoknak, a msodik a

hozzadott jelzpontoknak felel meg. Tovbb ez esetben azt mondjuk, hogy M2
kzvetlenl elrhet M1 -bl az Y lps lejtszdsval, amit gy jellnk: M1[Y>M2.

9
 Ha egy lps vgrehajtsa megvltoztatja a tokeneloszlst, akkor az j
tokeneloszlsban egy msik lps vlhat engedlyezett, ami szintn lejtszdhat. gy
egy adott tokeneloszlsbl lpsek sorozatt vgrehajtva j tokeneloszlsokba juthatunk
el.

Definci Egy vges lejtszdsi sorozat jelzponteloszlsok s lpsek egy sorozata:

M1[Y1>M2[Y2>M3...Mn[Yn>Mn+1 , ahol n s minden i1,... , n esetn Mi[Yi >Mi+1.
M1 -t a lejtszdsi sorozat indul jelzponteloszlsnak, Mn+1 -t a vgs
jelzponteloszlsnak nevezzk. Az n nemnegatv egsz szm a lejtszdsi sorozat
lpseinek szma, azaz a lejtszdsi sorozat hossza. Hasonlan, a vgtelen lejtszdsi
sorozat a jelzponteloszlsok s lpsek egy sorozata: M1[Y1>M2[Y2>M3..., ahol minden
+
i esetn Mi[Yi >Mi+1. M1 a lejtszdsi sorozat indul jelzponteloszlsa, s a
sorozat vgtelen hossz.

Definci Az M jelzponteloszls elrhet az M' jelzponteloszlsbl, ha ltezik olyan

vges lejtszdsi sorozat, amely M' -bl indul s M -ben vgzdik, azaz ha ltezik
olyan Y1Y2...Yn n lpssorozat, amelyre M'[Y1Y2...Yn >M. Ekkor azt mondjuk,
hogy M n lpsben elrhet M' -bl. Rviden egy M jelzponteloszlst elrhetnek
neveznk, ha M0 -bl elrhet. Az M'-bl elrhet sszes jelzponteloszls halmaza
R( M ' ) .

1.4. Sznezett Petri hlk dinamikai tulajdonsgai

Korltossg

A korltossg vizsglatakor arra vagyunk kvncsiak, hogy az egyes helyeken a

jelzpontok szma hogyan vltozik, mekkora az adott szn tokenek szmnak
minimuma, ill. maximuma egy adott helyen.

Definci Legyen X TE a jelzpontelemek egy halmaza, s n .

n fels korltja X -nek, ha M R(M 0 ):( M X )n .
n als korltja X -nek, ha M R(M 0 ):( M X )n . Az n=0 trivilis als
korlt minden X-re.
Az ( MX ) kifejezs az X jelzpontelem-halmazbeli elemek elfordulsnak
szmt adja meg az M jelzponteloszlsban.

Az X halmazt korltosnak nevezzk, ha van fels korltja. A cl ltalban a

legnagyobb als korlt, illetve a legkisebb fels korlt megkeresse. A korltossgot
rtelmezhetjk a helyekre s magra a sznezett Petri hlra is:

Definci Legyen p P egy hely, mC ( p) MS egy multihalmaz s n egy

nemnegatv egsz szm.
Az n szm fels egsz korlt p-re, ha M R( M 0 ):M ( p)n .
Az m multihalmaz fels multihalmaz korlt p-re, ha M R( M 0 ): M ( p)m .
Az als korltokat hasonlan definilhatjuk. A p helyet korltosnak nevezzk, ha van

10
fels korltja. Ha a sznezett Petri hlban minden hely korltos, akkor a hlt
korltosnak nevezzk.

Alapllapot

Egy Petri hl alapllapota azt mutatja meg, hogy van-e olyan jelzponteloszls, azaz
llapot, amelyhez mindig vissza tudunk trni.

Definci Legyen M M egy jelzponteloszls, s X M jelzponteloszlsok egy

halmaza. Ekkor:
M egy alapllapot jelzponteloszls, ha M ' R(M 0): M R( M ')
X egy alapllapot, ha M ' R( M 0) : X R( M ') .
Ha a Petri hlban van alapllapot jelzponteloszls, akkor megvan a lehetsg arra,
hogy elrjk ezt, de egyltaln nem biztos, hogy el is rjk.

lsg

Egy lektselem lsge azt mutatja meg, hogy adott llapotbl indulva van-e olyan
lpssorozat, amelyben a lektselem engedlyezett vlik.

Definci Legyen M M egy jelzponteloszls, s X BE a lektselemek egy

halmaza. Ekkor:
M halott, ha egy lektselem sem engedlyezett, azaz x BE : M' [ x >.
X halott az M jelzponteloszlsban, ha X egyik eleme sem vlhat engedlyezett,
azaz M ' R(M )x X : M' [ x >.
X l, ha nincs olyan elrhet jelzponteloszls, amelyben X halott, azaz
M ' R( M 0) M R( M ' ) x X : M[ x >.
Rviden azt mondjuk, hogy X halott, ha halott M0 -ban. Egy M tokeneloszls halott,
ha BE halott M-ben. Fontos megjegyezni, hogy az l tulajdonsg nem a halott ellentte.
Pldul a lektselemek minden el halmazra igaz, hogy nem halott, de az llts
fordtva mr nem igaz.

1.5. Sznezett Petri hl analzise az elrhetsgi grf alapjn

Ha elksztettk a vizsglt rendszernk sznezett Petri hl modelljt, akkor a

legegyszerbben szimulcival gyzdhetnk meg a modell mkdsnek
helyessgrl. Egy nagyobb rendszer modellezsnl igen fontos szerepe van a
szimulcinak a tervezs, illetve a modell validlsa sorn. Azonban csak szimulcival
nem lehet meghatrozni a modell sszes tulajdonsgt. Ezrt szksg van olyan
mdszerekre, amelyek a Petri hl formlis analzist biztostjk. Az egyik ilyen
mdszer a Petri hl elrhetsgi grfjnak vizsglata.

11
Elrhetsgi grf fogalma

Egy sznezett Petri hl elrhetsgi grfja egy olyan irnytott grf, amely az
elrhet tokeneloszlsokat s az elfordul lektselemeket tartalmazza. Az
elrhetsgi grf segtsgvel a Petri hl sszes dinamikai tulajdonsga
meghatrozhat. Az elrhetsgi grf generlsa jl automatizlhat folyamat.
Htrnya, hogy a grf mrete mr kis sznezett Petri hlk esetn is nagyon nagy mret
lehet.

Definci A sznezett Petri hl teljes elrhetsgi grfja egy OG=(V , A , N )

irnytott grf, ahol
V a cscsok halmaza, ahol a cscsok az M0 indul llapotbl elrhet llapotok:
V =R(M 0 ) ;
A az lek halmaza, ahol egy l az M 1 llapotbl az M 2 llapotba vezet
lpsnek felel meg: A = { ( M 1 , b , M 2)V BEV M1 [b>M2};
N a csompont fggvny, amely minden lhez hozzrendeli annak indul s
vgpontjt: a=(M 1 ,b , M 2 ) A: N (a)=(M 1 , M 2 ) .
Az elrhetsgi grf egy cscsa egy tokeneloszlsnak (llapotnak), egy le pedig egy
lektselemnek felel meg. Kt cscs kztt akkor van l, ha a kiindul cscs
tokeneloszlst egy lps vgrehajtsa a msik cscsba viszi t, az lnek megfelel
lektsben.

Az elrhetsgi grffal vizsglhatjuk pldul, hogy egy adott llapotbl milyen

llapotok rhetk el, egy llapotbl egy msik llapot elrhet-e, vannak-e olyan
llapotok, amelyek esetn nincs tovbbi engedlyezett tmenet stb.

12
2. Idztett sznezett Petri hlk

Az tmenetek lejtszdst az eddigi sznezett Petri hlkban pillanatszernek

tekintettk. Az ilyen hlkban csak az tmenetek lejtszdsnak egymshoz kpesti
sorrendjrl van informcink, arrl nincs, hogy az egyes esemnyek tnylegesen
mennyi ideig tartanak. A vals rendszerek modellezse sorn azonban fontos szerepe
lehet az esemnyek idbeli lejtszdsnak.

2.1. Idztett multihalmazok

+
Definci Legyen R 0 . Ekkor egy nemres S halmaz felett rtelmezett tm idztett
multihalmazon egy olyan tm[ S R ] fggvnyt rtnk, amelyre a
tm(s )= tm(s , r) sszeg vges, minden s S esetn. A tm( s ) nemnegatv egsz
rR
szm az s elem elfordulsainak szmt adja meg a tm idztett multihalmazban. A
tm[ s ]=[r 1 , r 2 , ... , r tm(s ) ] lista megadja azokat az r R id rtkeket, amelyekre
tm(s , r)0 . Minden listban tm(s , r) darab idrtk fordul el. A listt gy
rendezznk: r ir i+ 1 i1 ... tm( s)1 .
A tm idztett multihalmazt ltalban a kvetkez formlis sszeggel adjuk meg:

tm (s) ` s @ tm[ s]. Az S felett rtelmezett sszes idztett multihalmaz halmazt

sS
S TMS -sel jelljk. A {tm( s)sS } nemnegatv egszeket az tm idztett multihalmaz
egytthatinak hvjuk, tm(s ) az s egytthatja. Egy sS elem akkor tartozik a tm
idztett multihalmazhoz, ha tm(s )0 . Jells: stm . Valamint minden tmS TMS
idztett multihalmaz meghatroz egy kznsges tmU S MS multihalmazt, a kvetkez
mdon: tmU = tm(s)`s.
s S

2.2. Idztett sznezett Petri hlk formlis defincija

A sznezett Petri hlkhoz hasonlan definilhatjuk az idztett sznezett Petri hlkat

is, nhny vltoztatst bevezetve. Az idztett sznezett Petri hlk esetn a
sznhalmazok idztettek lehetnek, s az ilyen sznhalmazba tartoz jelzpontokhoz
idblyegeket rendelhetnk. Az idblyeg azt a legkorbbi idt adja meg, amikortl a
token felhasznlhat. Tovbb az esemnyek lejtszdsi idejt is megadhatjuk az
tmenethez rendelt lejtszdsi idvel, vagy az tmenet kimen lhez rendelt
ksleltetssel. Az idt egy globlis rhoz viszonytjuk. A Petri hlt idztettnek
tekintjk, ha van legalbb egy idztett sznhalmaza.

Definci Egy idztett sznezett Petri hln a TCPN =(CPN , R , r 0) hrmast rtjk,
ahol
CPN teljesti a sznezett Petri hl defincijt, azzal a klnbsggel, hogy
E (a ) ill. I ( p) tpusa egy C ( p( a)) ill. C ( p) felett rtelmezett idztett

13
 vagy nem idztett multihalmaz lehet.
R az idblyegek halmaza, R+0 .
r 0 R a start id.
A nem idztett sznhalmazokba tartoz tokenek brmikor rendelkezsre llnak,
felhasznlhatk.

Definci Egy jelzponteloszls egy TE felett rtelmezett idztett multihalmaz. Az

indul jelzponteloszls M0 az inicializl kifejezsek kirtkelsvel kapott
jelzponteloszls:

p P : M 0( p)= I ( p)r . 0

Egy llapot egy (M , r) pr, ahol M egy jelzponteloszls s r egy id rtk. A

kezd llapot az ( M 0 , r 0) pr. Az sszes jelzponteloszls halmazt jellje M, mg az
ssze llapot halmazt jellje S .

A lpsek engedlyezettsgnl figyelembe kell venni azt is, hogy az adott

idpontban a tokenek felhasznlhatk-e.

Definci Egy Y lps engedlyezett az (M 1 , r 1) llapotban s az r2 idpontban, ha

teljeslnek a kvetkez felttelek:

pP : E ( p ,t )< b> r M 1 ( p) ;
2
(t ,b)Y
r 1r 2 ;
r2 az R halmaz legkisebb eleme, amely esetn ltezik olyan lps amely teljesti
az elz kt felttelt.
Definci Y lps lejtszdsa: Ha egy Y lps engedlyezett egy ( M 1 , r 1) llapotban
az r2 idpontban, akkor lejtszdhat, az ( M 1 , r 1) llapotot (M 2 , r 2 ) -re vltoztatva,
ahol M 2 -t az albbi mdon kapjuk meg:

p P : M 2 ( p)=M 1( p) E ( p , t)< b> r +

2
E (t , p)< b> r .
2
(t ,b)Y (t ,b)Y

Az els sszeg a p helyrl eltvoltott tokeneknek, a msodik pedig a hozzadott

tokeneknek felel meg. Az Y lps lejtszdsa utn a jelzpontok idblyegeit gy
kapjuk meg, hogy a modell idhz hozzadjuk az tmenet, ill. l ksleltetst. Tovbb
azt mondjuk, hogy az (M 2 , r 2 ) kzvetlenl elrhet az (M 1 , r 1) llapotbl az Y lps
lejtszdsval az r2 idpontban, amit gy jellnk: (M 1 , r 1) [ Y , r 2 > ( M 2 , r 2) .

A lejtszdsi sorozatot s az elrhetsget hasonlan definiljuk, mint a nem

idztett Petri hlknl.

Definci Egy vges lejtszdsi sorozat llapotok, lpsek s idrtkek egy sorozata:
S1[Y1 ,r2>S2[Y2,r3>S3...Sn[Yn ,rn+1>Sn+1, ahol n s minden i1,... , n esetn Si[Yi ,ri+1
>Si+1. S1 -t a lejtszdsi sorozat indul llapotnak, Sn+1 -t a vgs llapotnak
nevezzk.

14
 Az n nemnegatv egsz szm a lejtszdsi sorozat lpseinek szma, azaz a
lejtszdsi sorozat hossza. Hasonlan, egy vgtelen lejtszdsi sorozat llapotok,
lpsek s idrtkek egy sorozata: S1[Y1 ,r2>S2[Y2,r3>S3..., ahol minden i+ esetn
Si[Yi ,ri+1>Si+1. S1 a lejtszdsi sorozat indul llapota, s a sorozat vgtelen hossz.

Definci Az S llapot elrhet az S' llapotbl, ha ltezik olyan vges lejtszdsi

sorozat, amely S' -bl indul s S -ben vgzdik. Rviden egy S llapotot elrhetnek
neveznk, ha S0 -bl elrhet. Az S'-bl elrhet sszes llapot halmaza R( S ' ) .

15
3. Technolgiai rendszerek kvalitatv modell alap
diagnosztikja

3.1. Esemnyek, esemnysorok kvalitatv lersa

Kvalitatv rtktartomnyok
Technolgiai rendszerek vizsglatakor nem mindig szksges a vltozk pontos
rtknek ismerete. Sok esetben elegend, ha egy vltoz rtkrl csak annyit tudunk,
hogy egy bizonyos rtktartomnyba esik-e. Pldul egy tetszleges rzkel
mrstartomnyt feloszthatjuk a kvetkezkppen:
Qe={e-, 0, L, N, H, e+},
ahol 0, L, N, H jelenti a nulla, alacsony, norml, magas szintet, e- s e+ pedig a mrsi
tartomnyon kvl es nagyon alacsony, illetve nagyon magas rtket, amik a szenzor
meghibsodsbl addnak. Amennyiben szksges a feloszts tovbb finomthat,
ezltal a vltozk rtke pontosabban adhat meg. Egy beavatkoz szerv llapota
hasonl mdon rhat le. Pldul egy ktlls szelep llapota a Qsz={open, close}
rtktartomnnyal jellemezhet, ahol open a szelep nylt, close a szelep zrt llapotnak
felel meg.

Esemnyek, trace-ek, eltrsek

Egy technolgiai rendszer mkdtetse sorn az opertorok klnbz mveleteket
hajtanak vgre. Egy technolgiai folyamat megadhat a folyamat lejtszdsa sorn
bekvetkezett esemnyek sorozatval. Egy esemnyt annak bekvetkezsi idejvel (t),
valamint a bemen s kimen vltozk t idponthoz tartoz rtkeivel azonosthatunk:
event t =(t ;input 1 , ..., input n ; output 1 ,... , output m )
A t ebben az esetben nem konkrt idpontot jelent, hanem egy sorszm, amely azt
jelli, hogy az adott esemny hnyadik lpsben kvetkezett be. Kt idpont kztt
bekvetkezett, egymst kvet esemnyek sorozatt trace-nek nevezzk:
T (t 1 , t n )=event t , ... , eventt
1 n

Egy trace-en bell az esemnyek ugyanazokat a bemeneti s kimeneti vltozkat

tartalmazzk. A technolgiai rendszer vizsglata sorn tbbfle trace-t klnbztetnk
meg. A nominlis trace megadja, hogy a folyamat norml (hibamentes) lejtszdsakor
mely esemnyek kvetkeztek be. Minden folyamathoz egy nominlis trace tartozik. A
lehetsges hibs mkdsekhez tartoz trace-ek a hiba hatsra bekvetkez
esemnysort adjk meg. A vizsglt folyamat egy konkrt lejtszdst ler esemnysort
karakterisztikus trace-nek nevezzk. A nominlis s a technolgiai rendszerbl
szrmaz karakterisztikus trace-t sszehasonltva meghatrozhatk a kt
esemnysorozat kztti eltrsek. Az eltrsek idbeliek s mennyisgiek lehetnek.
Idbeli eltrsrl akkor beszlnk, amikor a vizsglt karakterisztikus trace-ben szerepl
esemny a nominlis trace-hez kpest eltr idpontban kvetkezett be. Ez alapjn
hromfle idbeli eltrst klnbztetnk meg:

16
 later: a bemen s a kimen vltozk rtkeinek egy adott kombincija a
karakterisztikus trace-ben ksbbi idpontban jelenik meg, mint a nominlis
trace-ben.
earlier: a bemen s a kimen vltozk rtkeinek egy adott kombincija a
karakterisztikus trace-ben korbbi idpontban jelenik meg, mint a nominlis
trace-ben.
never happened: a bemen s a kimen vltozk rtkeinek egy adott
kombincija, amely a nominlis trace-ben jelen van, a karakterisztikus trace-
bl hinyzik.
Mennyisgi eltrsek vizsglatakor a trace-ek azonos idponthoz tartoz
esemnyeiben szerepl kimen vltozk rtkeit hasonltjuk ssze. A mennyisgi
eltrsek ktflk lehetnek:
smaller var_outi: a karakterisztikus trace-ben egy adott idpontban az i-edik
kimen vltoz rtke kisebb, mint a nominlis trace-ben
greater var_outi: a karakterisztikus trace-ben egy adott idpontban az i-edik
kimen vltoz rtke nagyobb, mint a nominlis trace-ben
Az eltrseket egy kulcssz s egy nominlis esemny prossal jelljk:
kulcssz(nominlis esemnyt), ahol a kulcssz az eltrs tpust jelenti, a nominlis
esemny pedig az az esemny, amihez viszonytjuk az eltrst. Pldul az
earlier(2,open,close,L) eltrs azt jelenti, hogy a (2,open,close,L) esemny az elvrtnl
korbban kvetkezett be a folyamat sorn. Egy karakterisztikus trace s a nominlis
trace eltrsei alapjn kvetkeztetni lehet arra, hogy a folyamat sorn trtnt-e hiba. Ha
van eltrs a kt trace kztt, akkor a folyamat sorn valamilyen hiba kvetkezett be.
Ebben az esetben a kapott eltrsek listjbl visszafel kvetkeztetve az is
meghatrozhat, hogy mik azok a lehetsges hibaokok, amik az adott lejtszdshoz
vezettek.

3.2. Kvalitatv modell alap diagnosztikai mdszerek

A szakirodalomban s a gyakorlatban szmos olyan diagnosztikai eljrs ismert, mely
alkalmas a mkds sorn fellp hibk, illetve adott mkdsi llapotbl bekvetez
kvnt s nem kvnt llapotok meghatrozsra. Ezen mdszerek kzl az FMEA
(Failure Mode and Effect Analysis), a HAZOP (Hazard and Operability Analysis), a P-
HAZID (Procedure Hazard Identification) s hibafa-elemz mdszereket mutatom be.

FMEA
Az FMEA egy rendszerben elfordul lehetsges hibk s azok hatsnak
elemzsvel foglalkozik. Az FMEA clja a hibk korai felismerse s azonostsa, a
hibkbl ered kockzatok becslse s szmszerstse. Az FMEA sorn elrefel
kvetkeztet mdszert alkalmazunk a hibk hatsnak vizsglatra. Az FMEA
eredmnyeknt egyre jobb minsg termkek egyre gazdasgosabb mdon trtn
ellltsra van lehetsg. Az FMEA-t szles krben alkalmazzk a feldolgoziparban
egy termk letciklusnak klnbz fzisaiban, de ezen kvl sok ms terleten is
hasznlhat. Az FMEA-nak a felhasznlsi terletek szerint tbb fajtja ltezik, mint
pldul konstrukcis FMEA, rendszer FMEA, folyamat FMEA (P-FMEA).[8]

17
HAZOP
A HAZOP egy kvalitatv kockzatelemz mdszer, amelynek clja valamilyen
folyamatban elfordul potencilis veszlyek s mkdsi problmk azonostsa. A
HAZOP mdszer alapja az a feltevs, hogy a problmk a kvnt mkdstl val
eltrsek miatt jnnek ltre. Az eltrsek jellsre klnbz kulcsszavakat
hasznlnak, amelyek az eltrs tpusra jellemzek. Az ilyen eltrsek vizsglatval
egyrszt feltrhatk a kivlt hiba okok, msrszt megadhatk a lehetsges
kvetkezmnyek. A HAZOP mdszert eredetileg vegyipari folyamatok vizsglatra
fejlesztettk ki, de ksbb kiterjesztettk ms tpus rendszerekre is (pldul
atomermvek). [9]
P-HAZID
A HAZOP s FMEA eljrsok a technolgiai rendszerekben elfordul hibk
azonostsra, a hibk hatsnak vizsglatra szles krben alkalmazott mdszerek. A
kt eljrs sszevonsval s kiterjesztsvel egy j, procedure HAZID-nak (rviden P-
HAZID) nevezett eljrs hozhat ltre. A P-HAZID analzis alapja egy eltrseket s
kivlt okaikat tartalmaz tblzat, aminek minden sora egy a technolgiai rendszerben
elfordul eltrst, ennek kivlt okt s kvetkezmnyt tartalmazza. A P-HAZID
tblzat alapjn egy adott hibs mkdshez tartoz eltrsekbl meghatrozhatk a
hibs mkdst elidz lehetsges okok. A vizsglat sorn felttelezzk, hogy a kivlt
ok a folyamat kezdete eltt jtt ltre, s nem vltozott a technolgiai rendszer mkdse
sorn. A P-HAZID eljrs sorn visszafel kvetkeztetnk az eltrsekbl az ket
kivlt okokra a kvetkezkppen: A tblzat kt sora sszekapcsolhat egymssal, ha
az egyik sorban az (eltrs, kvetkezmny) pr s a msik sorban a (ok, eltrs) pr
megegyezik egymssal. A sorok sszekapcsolst addig folytatjuk, amg el nem jutunk
az adott mkdst kivlt okig, vagy amg nem tallunk olyan sort, ami a vizsglt sor
ok mezjben szerepl elemet tartalmazza [5].
1.tblzat: Rszlet egy P-HAZID tblzatbl.

Ok Eltrs Kvetkezmny
TANK-LEAK NH(2,op,cl,L) NH(3,op,cl,N)
NH(2,op,cl,L) NH(3,op,cl,N) NH(4,op,op,N)
TANK-LEAK SML(2,op,cl,L) SML(3,op,cl,N)
SML(2,op,cl,L) SML(3,op,cl,N) SML(4,op,op,N)
NEG-BIAS SML(1,op,cl,0) SML(2,op,cl,L)
SML(1,op,cl,0) SML(2,op,cl,L) SML(3,op,cl,N)
SML(2,op,cl,0) SML(3,op,cl,L) SML(4,op,op,N)
POS-BIAS GRE(1,op,cl,0) GRE(2,op,cl,L)
GRE(1,op,cl,0) GRE(2,op,cl,L) GRE(3,op,cl,N)
GRE(2,op,cl,0) GRE(3,op,cl,L) GRE(4,op,op,N)

18
Hibafa-elemzs
A hibafa-elemzs egy top-down, visszafel kvetkeztet mdszer, amelynek clja,
hogy meghatrozza azokat az elemi hibaesemnyeket, amelyek a fennll nem kvnt
llapothoz vezettek. A hibafa egy rendszerben elfordul kritikus esemny kivlt
okainak s kvetkezmnyeinek logikai kapcsolatt megjelent diagram. A hibafa
kiegszthet az egyes hibk valsznsgeivel is, gy felderthetk azok az esemnyek,
amelyek megelzse klnsen fontos. A hibafa-elemzst hasznlhatjk a nem kvnt
llapotok megelzsnek s javtsnak cljbl is. Alkalmazsa ltalban nagy
kockzati tnyezvel rendelkez ipargakban jellemz, pldul: replgpipar,
vegyipar, gygyszeripar. [10]

19
III. Sajt eredmnyek

4. Gyrtrendszer modellezse sznezett Petri hlval

4.1. A gyrtrendszer bemutatsa

Az ltalam vizsglt gyrtrendszer egy IN belp s egy OUT kilp trgyasztalt, egy
M1 s egy M2 jel gyrtsort s egy robotot tartalmaz. Ezenkvl mindegyik
gyrtsornak van egy bemen s egy kimen trgyasztala (lsd 1. bra). A robot
feladata, hogy a belp trgyasztalrl a feldolgozsra vr munkadarabokat a
gyrtsorok bemenetre rakja, a gyrtsorok kimenetrl pedig vagy a msik gyrtsor
bemenetre, vagy a kilp trgyasztalra helyezze. gy sszesen hat olyan manipulcis
folyamat fordulhat el, amelyhez szksg van a robotra:
1. IN belp trgyasztalrl az M1 gyrtsor bemenetre
2. IN belp trgyasztalrl az M2 gyrtsor bemenetre
3. M1 gyrtsor kimenetrl az M2 gyrtsor bemenetre
4. M2 gyrtsor kimenetrl az M1 gyrtsor bemenetre
5. M1 gyrtsor kimenetrl az OUT kilp trgyasztalra
6. M2 gyrtsor kimenetrl az OUT kilp trgyasztalra
Mivel mind a hat feladatot egyetlen robotnak kell elltnia, s az egyes mveletek
kztt lehetnek olyanok, amelyek egy idben ignylik a robot erforrsait, ezrt az
egyes manipulcik kztt konfliktushelyzet alakulhat ki. Ilyenkor el kell dnteni, hogy
a robot melyik mveletet hajtsa vgre elszr.
M1

I O
N U
T

IN
IN ROBOT OUT M2

O
U
T

1. bra: A gyrtrendszer vzlata.

Ezutn azt kell meghatrozni, hogy a kt gyrtsor kztt tesznk-e klnbsget. A
kvetkez eseteket vizsglhatjuk:
1. A gyrtsorokat azonosnak tekintjk: Ekkor az ket sszekt manipulcira
nincs szksg. A munkadaraboknak csak egy gyrtsoron kell vgigmennik.
2. A gyrtsorok klnbzsge esetn az albbi esetek lehetsgesek:
a munkadaraboknak elre megadott informci alapjn a meghatrozott
gyrtsoron kell vgigmennik;
a munkadaraboknak mindkt gyrtsoron vgig kell mennik, melynek
sorrendje lehet tetszleges vagy elre meghatrozott

20
 A tovbbiakban azokat az eseteket vizsglom rszletesebben, amikor a gyrtsorokat
megklnbztetjk egymstl.

4.2. A gyrtrendszer sznezett Petri hl modellje hibamentes

mkds esetn

A rendszer alacsony szint Petri hlja korbbi kutatsokbl [11] rendelkezsemre

llt (lsd Mellklet 1. bra), a sznezett Petri hl elksztsekor ezt hasznltam
kiindulpontknt. A sznezett Petri hl alkalmazsnak f oka az, hogy az alacsony
szint Petri hlban a munkadarabokat nem tudtuk megklnbztetni egymstl.
Sznezett Petri hlra val ttrssel a munkadarabok megklnbztethetk egymstl,
valamint a gyrtrendszerrl is sokkal tbb informci nyerhet. A sznezett Petri hl
msik elnye, hogy a modell egyszerbb, knnyebben kezelhet lesz.

A modellezst s a vizsglatok egy rszt a CPN Tools szoftver segtsgvel

vgeztem el. A szoftvert a dniai Aarhus Egyetemen fejlesztettk ki 2000-ben a
sznezett Petri hlk vizsglathoz, 2010-tl fejlesztse Hollandiban folyik. A CPN
Tools-ban lehetsgnk van sznezett s idztett Petri hlk ltrehozsra, szimulcik
futtatsra s a hl analzisre is. A sznezett Petri hlk megadshoz szksges
tpusokat vkifejezs-fggvnyeket, korltfggvnyeket a Standard ML nyelv
hasznlatval adhatjuk meg. [12]

A gyrtrendszer sznezett Petri hl modellje a kvetkez elemekbl pl fel:

1. helyek:
start;
IN: a bemen trgyasztalt jelkpezi;
OUT: a kimen trgyasztalt jelkpezi;
Robot: a robot llapott jelkpezi (szabad, vagy foglalt);
Tin_empty, Tin_full: a gyrtsorok bemenetnek llapotait jelkpezik;
Tout_empty, Tout_full: a gyrtsorok kimenetnek llapotait jelkpezik;
atrak1: az IN bemen trgyasztalrl a gyrtsorra val thelyezs;
atrak2: a gyrtsorok kimenetrl az OUT kimen trgyasztalra trtn
thelyezs;
atrak3: az egyik gyrtsor kimenetrl a msik gyrtsor bemenetre
trtn thelyezs;
2. tmenetek:
generator: a munkadarabok ellltst, cmkzst vgzi;
gyartosor: a gyrtsorokat jelkpezi;
atrak1_kezd, atrak1_vege: az IN bemen trgyasztalrl a gyrtsorok
bemenetre trtn thelyezs kezdete s vge;
atrak2_kezd, atrak2_vege: a gyrtsorok kimenetrl az OUT kimen
trgyasztalra trtn thelyezs kezdete s vge;
atrak3_kezd, atrak3_vege: az egyik gyrtsor kimenetrl a msik
gyrtsor bemenetre trtn thelyezs kezdete s vge;
Az traksokat szimbolizl tmeneteket akr ssze is lehetne vonni, de azrt
vlasztottam ezt a megoldst, mert gy jobban ltszik, hogy az egyes mveletek

21
lefoglaljk a robotot. A hlban mindkt gyrtsort ugyanazzal az tmenettel
(gyartosor) s helyekkel (Tin_empty, Tin_full) modelleztem s a megklnbztetshez a
tokenek sznt hasznltam fel. A tokenek szne m1 vagy m2 lehet, amik az 1-es illetve 2-
es gyrtsorra utalnak. Pldul, ha a Tin_empty helyen egy m1 szn token tallhat,
akkor az azt jelenti, hogy az 1-es gyrtsor bemenete res.

Ha kt tmenet egyszerre engedlyezett, s az egyik lejtszdsa utn a msik nem

lesz engedlyezett, akkor azt mondjuk, hogy az tmenetek konfliktusban vannak
egymssal. Az ltalam ltrehozott sznezett Petri hlban a kvetkez tmenetek kztt
konfliktushelyzetek jelentkeznek:
atrak1_kezd s atrak2_kezd s atrak3_kezd;
atrak2_kezd s atrak3_kezd;
atrak1_kezd s atrak2_kezd.
A technolgia szempontjbl ez azt jelenti, hogy a robotnak egyszerre tbb mveletet
kellene vgrehajtania, ami fennakadshoz vezet. A konfliktusok feloldsnak egyik
lehetsges mdja, hogy az tmenetekhez prioritst rendelnk. Ekkor az az tmenet
jtszdik le elbb, amelynek nagyobb a prioritsa. Jelen esetben ezt gy vlasztottam
meg, hogy mindig az az tmenet jtszdjon le elbb, amely a gyrtsi folyamatban
elrbb tart munkadarabot juttatja tovbb. gy a gyartosor, atrak2_kezd s atrak3_kezd
tmenetek prioritst a CPN Tools standard prioritsait felhasznlva magasra (P_HIGH)
lltottam, a tbbit norml (P_NORMAL) rtken hagytam.

Elsknt egy olyan modellt ksztettem el, amelyben a munkadarabok tetszleges

sorrendben mehetnek vgig egy vagy kt gyrtsi folyamaton. A valsgban azonban
nem jellemz, hogy teljesen a gyrtrendszerre bzzuk azt, hogy az milyen termkbl
mennyit gyrt. A munkadarabokat ezrt cmkvel ltjuk el, ami kijelli, hogy mely
folyamatokon kell vgigmennik. Ennek megfelelen n is gy mdostottam a modellt.
A munkadarabok a kvetkez informcikat hordozzk:
1. azonost (id): a munkadarab sorszma, amellyel azonosthatjuk;
2. cmke (cim): azt mutatja meg, hogy a munkadarabnak mely folyamatokon kell
keresztlmennie. A cmke rtkei a kvetkezk lehetnek:
m1: a munkadarab csak az 1-es gyrtsoron megy vgig;
m2: a munkadarab csak a 2-es gyrtsoron megy vgig;
m12: a munkadarab elszr az 1-es, azutn a 2-es gyrtsoron megy
vgig;
m21: a munkadarab elszr a 2-es, azutn az 1-es gyrtsoron megy
vgig;
3. szmll (a): azt szmolja, hogy hny gyrtsi folyamaton ment vgig a
munkadarab.
Az gy ltrehozott sznezett Petri hl most mr jl lerja a rendszer hibamentes
mkdst. (lsd Mellklet 2. bra.)

22
4.3. Technolgiai rendszerben elfordul hibalehetsgek
beptse a modellbe

Az elz fejezetben bemutatott modell a gyrtrendszer hibamentes mkdst rja

le. A valsgban azonban egy gyrtsi folyamat sorn elfordulhatnak hibk is. A
hibalehetsgt korbbi kutatsokbl ismert mdon ptettem be [3][13]. Feltteleztem
egy olyan hibalehetsget, hogy a gyrts sorn a munkadarab cmkje megsrl, gy
elveszik a tovbbi folyamatokra vonatkoz informci. A munkadarabot ekkor
selejtesnek minstjk s kivesszk a folyamatbl. Mivel a hiba a gyrtsorokon
kvetkezhet be, ezrt az azokat jelkpez tmenethez egy olyan fggvnyt rendeltem
hozz, amelynek visszatrsi rtke meghatrozza, hogy az adott folyamat sorn trtnt-
e hiba. A fggvny egy valsznsgi vltozt tartalmaz, amellyel a hibk
bekvetkezsnek valsznsgt lltani lehet. Tovbb a cim vltoz sznhalmaznak
elemeit kiegsztettem egy m0 rtkkel, amit akkor vesz fel a vltoz, ha a munkadarab
cmkje megsrl. A hiba bekvetkezse utn rgtn a folyamat vgre ugrunk, s a
hibs munkadarabokat a gyrtsorrl kzvetlenl a folyamat vgt jelent kimen
trgyasztalra juttatjuk. Ehhez a mvelethez nincs szksg a robotra. A hibs
munkadarabokat clszer elklntve kezelni, ezrt a kimen trgyasztalt kt rszre
osztottam. A Petri hlban a hibs munkadarabok gyjthelyt egy j hely jelkpezi
(OUT_hiba), a modell tbbi rsze megfelel a hiba nlkli esetnl lertaknak (lsd
Mellklet 3. bra). Lthat, hogy a beptett hibalehetsgek nem nveltk meg
lnyegesen a hibamentes mkdst ler hl mrett, tovbb az gy kialaktott modell
hordozza a hibaesemnyek bekvetkezsi valsznsgre vonatkoz fontos informcit
is. Technolgiai rendszerekben a hibaesemnyek bekvetkezsi valsznsgre
megfigyelsekbl, mrsi adatokbl llhatnak rendelkezsre tapasztalati rtkek.

4.4. Idzts beptse a sznezett Petri hl modellbe

A rendszer idbeli mkdst eddig az esemnyek egymsutni bekvetkezse

fejezte ki, mivel minden tmenetet pillanatszeren lejtszdnak tekintettnk. rdemes
megvizsglni azonban, hogy mi trtnik akkor, ha az esemnyek tnyleges lejtszdsi
idejt is figyelembe vesszk, hogyan befolysolja ez a rendszer mkdst. Az idzts
bevezetsekor feltteleztem, hogy a vizsglt rendszerben a mveletek lejtszdsi ideje
ismert, elre meghatrozott. Ennek megfelelen a meglv sznezett Petri hlban az
tmenetekhez diszkrt lejtszdsi idt rendeltem hozz, valamint a munkadarabokat
jelkpez tokeneknek idblyegeket adtam. gy megkaptuk a vizsglt rendszer idztett
sznezett Petri hl modelljt (lsd Mellklet 4. bra). Megjegyzem, hogy br a
definci szerint az idblyegek nemnegatv vals szmok lehetnek, a CPN Tools-ban
csak egsz rtkeket tudunk belltani.

23
4.5. Sznezs megvltoztatsa
Az elzekben bemutatott modellekben minden egyes munkadarab az azonostja s
a cmkje alapjn az egsz gyrtsi folyamat sorn egyrtelmen azonosthat. Sok
esetben pldul tmegtermkek esetn nincs szksg arra, hogy az azonos cmkj
munkadarabokat a gyrtsi folyamat sorn megklnbztessk egymstl. Ha egyedi
azonostkat hasznlunk, akkor a technolgia sorn elfordulnak olyan llapotok, ahol a
munkadarabok cmke szerinti eloszlsa azonos, s csak az azonostkban klnbznek
egymstl. Pldul legyen kt m1 cmkj munkadarabunk amelyek azonostja 1,
illetve 2. Vegyk azokat az llapotokat, amikor a gyrtsi folyamat vgn az egyik
hibs, a msik pedig hibtlan. Jelen esetben ez kt klnbz llapotnak felel meg, attl
fggen, hogy az 1-es, vagy 2-es sorszm munkadarab srlt-e meg. Ha a
munkadaraboknak nincs azonostja, akkor ezek az llapotok nem klnbztethetek
meg. Clszernek ltszott teht a korbbi Petri hl modellek olyan vltozatt is
elkszteni, ahol a sznezs mdostsaknt a munkadarabok egyni azonostjt
elhagytam. Valamennyi eddigi Petri hl modellnek elksztettem az azonost nlkli
vltozatt is. Ezek kzl a Mellklet 5. brn az idzts nlkli, hibalehetsget
tartalmaz, a Mellklet 6. brn az idztett, hibalehetsget tartalmaz esetek
azonost nlkli vltozatai lthatak.
A hibalehetsget tartalmaz Petri hl azonost nlkli vltozatval vizsglhatjuk
pldul azt, hogy adott darabszm s cmkzs munkadarabok gyrtsa sorn milyen
arnyban keletkeznek hibtlan, illetve hibs termkek.
Azt, hogy a gyrtrendszer elksztett sznezett Petri hl modelljei kzl mikor
melyiket rdemes hasznlni, a modellezsi cl, a gyrtrendszer mkdsnek vizsglni
kvnt aspektusa dnti el.

24
4.6. Szimulcis vizsglatok

A CPN Tools-ban tbbfle szimulcis lehetsg kzl vlaszthatunk, amelyek

segtsgvel vizsglhatjuk a ltrehozott modell mkdst. Lpsrl lpsre trtn
szimulci esetn kivlaszthatjuk, hogy az engedlyezett tmenetek kzl melyik
jtszdjon le. A lektseket manulisan, vagy automatikusan llthatjuk be. Az
automatikus szimulcinl erre nincs lehetsg, itt a program vletlenszeren vlaszt az
engedlyezett tmenetek, illetve a lehetsges lektsek kzl. A szimulcit elssorban
arra hasznljuk, hogy a modell ltrehozsa utn meggyzdjnk annak helyes
mkdsrl. rdemes tbb szimulcit is lefuttatni, mert elfordulhat, hogy gy
tallunk technolgiai holtpontot a rendszerben. A vizsglt gyrtrendszernl
technolgiai holtpont gy alakulhat ki, hogy a gyrtsi folyamatokban egy vagy tbb
munkadarab megakad, a kvnt gyrtsi folyamat nem fejezdik be.

A gyrtrendszer mkdst a fejlesztett sznezett Petri hlk szimulcijval

hibamentes s hibalehetsget tartalmaz esetekben, valamint idzts nlkli s
idztett esetben, egyedi azonostkkal s azonostk nlkli vltozatban is vizsgltam,
klnbz szm s cmkzs munkadarabok gyrtst felttelezve. A szimulcik
sorn az egyik legfontosabb szrevtelem az volt, hogy idztett esetben, bizonyos
idbelltsoknl 4 klnbz munkadarab legyrtsa esetn mr ltrejhet technolgiai
holtpont a gyrtrendszer mkdse sorn.

Ha 4 klnbz munkadarabot helyeznk a bemen trgyasztalra, tovbb az traks

ideje kisebb, vagy egyenl a gyrtsorok idejnl, akkor ltrejhet az a helyzet, hogy
elszr kt olyan munkadarab kerl a kt gyrtsorra, amelyeknek utna mg a msikon
is vgig kell haladniuk. Amg az egyik gyrtsoron haladnak vgig, addig a robot a
gyrtsorok bemenetre rakja a maradk kt munkadarabot. Mikor az els
munkadarabok a gyrtsorok kimenetre kerlnek, akkor a rendszer holtpontra jut (lsd
Mellklet 7. bra), mivel mindkt gyrtsor kimenete s bemenete is foglalt,
felttelnek pedig azt adtam meg, hogy egy munkadarab akkor kerlhet r a gyrtsorra,
ha annak res a kimenete, valamint egy gyrtsor bemenetn egyszerre csak egy
munkadarab lehet. Ha egy traks ideje nagyobb, mint amennyi id alatt a gyrtsoron
vgigmegy egy munkadarab, akkor nem lesz fennakads a rendszerben, mivel amg az
thelyezs trtnik, addig a gyrtsi folyamat lezajlik, gy nem trtnhet meg az, hogy
amg az egyik gyrtsoron munkadarab van, addig a msik bemenetre munkadarab
kerl. Ha a kt gyrtsor ideje klnbz, akkor a holtpont kialakulsnak lnyegesen
kisebb a valsznsge.

Tbb munkadarab esetn az sszes lehetsges lejtszdsi sorozat mr nagyon

sokfle lehet. Ezek egyenknti, lpsenknti szimulcija igen sok ideig tartana,
automatikus szimulcival pedig nem lehet garantlni, hogy az egyms utni
szimulcik klnbzek lesznek. Emiatt clszer egy hatkonyabb, az elrhetsgi
grf elemzsn alapul mdszert alkalmazni a gyrtrendszer vizsglatra.

25
 4.7. Vizsglat az elrhetsgi grf alapjn a CPN Tools-ban

A CPN Tools-ban lehetsg van az elrhetsgi grf ellltsra. A gyrtsoron

bekvetkez hiba valsznsgi vltozval trtn megadst az elrhetsgi grf
szmtsnl a CPN Tools nem kezeli helyesen, mert csak h egy rtkre rtkeli ki az
tmenet korltfggvnyt. gy az elrhetsgi grfban nem jelenik meg az sszes
lehetsges llapot. A helyes elrhetsgi grf ltrehozshoz a korltfggvnybl ki
kellett vennem a valsznsgi vltozt, s helyette egy bool tpus vltozt
alkalmaztam a helyes vagy hibs mkds eldntshez. Ezzel ugyan elvesztem a hiba
bekvetkezsnek valsznsgre vonatkoz informcit, de az sszes llapot
megjelenik a grfban.

A CPNTools-ban generlt elrhetsgi grfokat tbb szempont szerint elemeztem.

Vizsgltam, hogy hogyan vltozik a grfok mrete, szerkezete, jelennek-e meg
holtpontok, mikzben vltoztatjuk a munkadarabok szmt s sznt, valamint az
idztseket.

Elsknt az idztst nem tartalmaz sznezett Petri hl elrhetsgi grfjt

vizsgltam, abban az esetben, amikor a munkadarabok rendelkeznek azonostval s
cmkvel is. A hibamentes s a hibs mkdshez tartoz elrhetsgi grfok jellemzit
a 2. tblzat tartalmazza. A hibamentes esetben a grfban tallhat elgazsok minden
esetben technolgiai elgazsok miatt jnnek ltre. Technolgiai elgazson azt rtjk,
amikor a rendszer egy adott llapotbl tbb kvetkez llapotba juthatunk el, amelyek
mindegyike a gyrtrendszer hibamentes mkdsnek megfelel llapot. Ilyen
elgazsok jhetnek ltre pldul a gyrts kezdetnl, amikor a bemen trgyasztalon
lv munkadarabok kzl a robot vletlenszeren kivlasztja az els feldolgozsra
kerl munkadarabot. A hibalehetsg beptsvel azt tapasztaltam, hogy az
elrhetsgi grfok mrete jelentsen megntt. Ennek oka, hogy a hibaesemnyek

2. tblzat: Az elrhetsgi grfok jellemzi azonostval, idzts nlkli esetben.

idzts nlkl, idzts nlkl,

munka- hiba nlkl hibval
darabok cmkzs (azonost, cmke)
szma vg- vg-
cscs l cscs l
pont pont
1 (1,m1) 7 6 1 8 7 2
1 (1,m12) 10 9 1 12 11 3
2 (1,m1)++(2,m2) 29 32 1 42 50 4
2 (1,m1)++(2,m12) 37 40 1 60 70 6
2 (1,m2)++(2,m12) 39 41 1 62 72 6
2 (1,m12)++(2,m21) 42 44 1 82 95 9
3 (1,m1)++(2,m2)++(3,m12) 145 173 1 306 409 12
3 (1,m2)++(2,m12)++(3,m21) 165 189 1 414 536 18
3 (1,m1)++(2,m1)++(3,m1) 107 123 1 210 273 8
4 (1,m1)++(2,m2)++(3,m12)++(4,m21) 631 772 1 2063 2900 36
4 (1,m1)++(2,m1)++(3,m1)++(4,m1) 340 404 1 949 1300 16
5 (1,m2)++(2,m12)++(3,m21)++(4,m1)++(5,m2) 2208 2797 1 9813 14420 72
5 (1,m21)++(2,m12)++(3,m21)++(4,m12)++(5,m21) 3259 3839 1 23709 32939 243
5 (1,m2)++(2,m1)++(3,m2)++(4,m1)++(5,m2) 1621 2165 1 5252 8051 32
6 (1,m2)++(2,m12)++(3,m21)++(4,m1)++(5,m2)++(6,m12) 8698 10980 1 62751 93323 216
6 (1,m21)++(2,m12)++(3,m21)++(4,m12)++(5,m21)++(6,m12) 12184 14562 1 146992 208602 729

26
bekvetkezse miatt jabb elgazsok jelentek meg a grfban a technolgiai
elgazsokon kvl. A hibaesemnyek miatt ltrejv elgazsok abban klnbznek a
technolgiai elgazsoktl, hogy ilyenkor az a technolgia szempontjbl kedveztlen
llapotok is ltrejnnek. Lthatjuk tovbb, hogy amg a hibamentes mkdsnl
minden esetben egy vgpontja volt a grfnak (hiszen a gyrts eredmnye csak egyfle
lehet minden munkadarab hibtlan), addig a hibt is tartalmaz grfokban jabb
vgpontok jelentek meg, melyek azokat az llapotokat jellik, amikor egy vagy tbb
munkadarab hibs lett. A hibamentes s a hibt tartalmaz Petri hlkhoz tartoz
elrhetsgi grfok mretnek eltrse fleg tbb munkadarab esetn jelents, mivel itt
tbbszr fordulhat el hiba, ami az elrhetsgi grfban jabb cscsok s lek
megjelenst okozza. A grf mrett a munkadarabok cmkzse is jelentsen
befolysolja, hiszen az olyan esetekben, amikor a munkadarabnak mindkt gyrtsoron
vgig kell mennie, nyilvnvalan nagyobb grfot kapunk, mintha az csak egy
gyrtsoron menne vgig.

A sznezett Petri hl elrhetsgi grfjnak vizsglatval kerestem a rendszerben

elfordul vgpontokat, vagyis azokat az llapotokat, amelyek esetn nincs tovbbi
engedlyezett tmenet, azaz a jelzponteloszls halott. Az elrhetsgi grfban
megjelen vgpont jelentheti azt, hogy a gyrtsi folyamat vget rt s minden
munkadarab a kimen trgyasztalok valamelyikre kerlt. Ezek a vgpontok a
technolgia szempontjbl kedvez llapotokat jellnek. Az ettl eltr vgpontok
megjelense azt jelenti, hogy a folyamatban valahol egy vagy tbb munkadarab
megakadt, s ez a gyrtrendszer lellst eredmnyezi. Az ilyen holtpontok
addhatnak pldul a nem megfelel tervezsbl. Feloldsuk kls beavatkozssal,
vagy a tervezsi paramterek mdostsval lehetsges. A gyrtrendszer tervezsnl a
cl az ilyen holtpontok elkerlse.

A gyrtrendszer sznezett Petri hl modelljnek elrhetsgi grfja alapjn az

idzts nlkli esetben a vgpontok mindig olyan llapotokat jellnek, amelyek a
technolgia szempontjbl kedvez vgllapotok, teht minden munkadarab a kimen
trgyasztalra kerlt (hibs vagy hibtlan). Nem fordul el olyan vgpont, ami
holtpontnak felel meg, teht a rendszer ebbl a szempontbl megbzhatan mkdik.
Hibalehetsget nem tartalmaz elrhetsgi grf lthat a Mellklet 8. brn, 3 darab
m2, m12, m21 cmkj munkadarab gyrtst felttelezve. Ugyanezen munkadarabokra
vonatkoz hibalehetsget is tartalmaz elrhetsgi grf lthat a Mellklet 9. brn.

27
 3. tblzat: Az elrhetsgi grfok jellemzi azonostval, idztett esetben.
munka- idztett, hiba nlkl idztett, hibval
darabok cmkzs (azonost, cmke) vgpont/ vgpont/
cscs l cscs l
szma holtpont holtpont
1 (1,m1) 7 6 1/0 8 7 2/0
1 (1,m12) 10 9 1/0 12 11 3/0
2 (1,m1)++(2,m2) 23 22 2/0 41 40 8/0
2 (1,m1)++(2,m12) 29 28 2/0 59 58 12 / 0
2 (1,m2)++(2,m12) 29 28 2/0 58 57 12 / 0
2 (1,m12)++(2,m21) 35 34 2/0 87 86 18 / 0
3 (1,m1)++(2,m2)++(3,m12) 73 74 4/0 264 263 48 / 0
3 (1,m2)++(2,m12)++(3,m21) 86 85 4/0 392 391 72 / 0
3 (1,m1)++(2,m1)++(3,m1) 85 84 6/0 262 261 48 / 0
4 (1,m1)++(2,m2)++(3,m12)++(4,m21) 173 172 8/2 1473 1472 258 / 2
4 (1,m1)++(2,m1)++(3,m1)++(4,m1) 365 364 24 / 0 2121 2120 384 / 0
5 (1,m2)++(2,m12)++(3,m21)++(4,m1)++(5,m2) 574 573 24 / 4 9320 9375 1582 / 8
5 (1,m21)++(2,m12)++(3,m21)++(4,m12)++(5,m21) 154 153 24 / 24 12076 12075 2196 / 60
5 (1,m2)++(2,m1)++(3,m2)++(4,m1)++(5,m2) 514 513 24 / 0 5152 5247 780 / 0
6 (1,m2)++(2,m12)++(3,m21)++(4,m1)++(5,m2)++(6,m12) 1725 1732 80 / 40 71817 72336 12300 / 116
6 (1,m21)++(2,m12)++(3,m21)++(4,m12)++(5,m21)++(6,m12) 325 324 72 / 72 45541 45540 8280 / 432
6 (1,m2)++(2,m1)++(3,m2)++(4,m1)++(5,m2)++(6,m1) 2341 2412 72 / 0 39349 41076 5760 / 0
idztsek minden esetben:
atrak1,2,3_kezd, atrak1,2,3_vege @+1
gyartosor @+5

Az idzts bevezetsvel az elrhetsgi grfok jellemzi is megvltoztak (lsd 3.

tblzat), mivel a jelzpontoknak idblyegeik is vannak. A nem idztett esetben egy
adott tokeneloszlshoz akr tbbfle lejtszdsi sorozattal is eljuthattunk. Az
tmenetek idztseinek figyelembevtelvel viszont ezekhez a lejtszdsi
sorozatokhoz klnbz tokeneloszlsok fognak tartozni, mivel a tokenek idblyegei
klnbzek lesznek. Az idzts nlkl azonosnak tekinthet tokeneloszlsokat teht
megklnbztetjk egymstl. Emiatt az idzts nlkli esethez kpest tbb vgpont
jelenik meg a grfban, amelyek kztt vannak olyanok, amelyek csak a tokenek
idblyegeiben trnek el, de ugyanazok a munkadarabok hibsak/hibtlanok. A
Mellklet 10. brn lthat az elbbi 3 munkadarabos eset idztett Petri hljnak
elrhetsgi grfja, akkor, ha a gyrtsorok lejtszdsi idejt 5 idegysgnek, az
atrak{1,2,3}_{kezd,vege} tmenetekt pedig 1 idegysgnek vlasztjuk.

Tovbbi eltrs az idzts nlkli estekhez kpest, hogy abban az esetben ha a

gyrtsorok idztse nagyobb, mint az traksok ideje, akkor megjelenhetnek
technolgiai holtpontok a rendszerben. A holtpont megjelense a munkadarabok
szmtl s cmkzstl is fgg. Ha a munkadaraboknak csak egy gyrtsoron kell
vgigmennik, akkor nem alakulhat ki holtpont, brmilyen sok munkadarabunk van. A
holtpont kialakulsnak felttele a cmkzs s a munkadarabok szma alapjn az, hogy
legalbb ngy munkadarabunk legyen, ezek kzl legalbb kett olyan, amelynek
mindkt gyrtsoron vgig kell mennie, s a tbbi munkadarab kztt legyen kt olyan,
amelyeknek kt klnbz gyrtsoron kell elszr vgigmennik. Pldul holtpont
alakul ki (m12, m21, m1, m2), vagy (m12, m21, m12, m21) cmkzsnl, de (m12, m21,
m1, m1) vagy (m12, m21, m21, m21) cmkzsnl nem. Elfordul olyan cmkzs is,
amely esetn a gyrtrendszer hibamentes mkdse mellett a rendszer soha nem jut
technolgiailag kedvez vgllapotba, hanem minden esetben holtpontra jut. Ez az eset

28
 ll fenn pldul akkor, ha legalbb 4 munkadarabot felvltva m12 s m21 cmkvel
ltunk el. A hibalehetsg bevezetse az idztett esetben is nveli a grf mrett.
Fontos szrevtel, hogy idztett esetben az eltr idblyegek miatt az elrhetsgi grf
gyakran fa szerkezet.

Azonos cmkzsek mellett rdemes megvizsglni, hogy az idztseket vltoztatva

hogyan vltoznak az elrhetsgi grfok jellemzi. Az idztsek hatst 3,4,5
munkadarabra, rgztett cmkzs mellett vizsgltam, az eredmnyek a 4. tblzatban
lthatak. A modellben sszesen 7 tmenet idztst lehet vltoztatni, de a knnyebb
kezelhetsg miatt az traksokhoz tartoz tmenetek idztst minden esetben
egyformnak vlasztottam. Az idztsek vltoztatsakor azt tapasztaltam, hogy
elrhetsgi grfok szerkezete bizonyos belltsok mellett fa, ms belltsok esetn
nem fa lett. Abban az esetben, ha az idztsi belltsok olyanok, hogy az elrhetsgi
grfban nincs kt olyan cscs, amelyeknek a tokeneloszlsa s a tokenek idblyegei is
megegyezne, az elrhetsgi grf fa lesz. Olyan idztsi belltsoknl, ahol
ltrejhetnek olyan cscsok, amelyeknl a tokeneloszlson kvl tokenek idblyegei is
megegyeznek, az elrhetsgi grf szerkezete mr nem lesz fa. Az idztsek
vltoztatsa a holtpontok megjelensre is hatssal van. Holtpontok akkor jelentek meg,
ha a gyrtsorok lejtszdsi idejt nagyobbra lltottam, mint az traksok ideje

4. tblzat: Idztsek hatsnak vizsglata.

elrhetsgi grf jellemzi
(idztett, hibval)
munka-
darabok cmkzs (azonost, cmke) idztsek
szerkezet
szma vgpont/
cscs l (fa/nem
holtpont
fa)
3 (1,m2)++(2,m12)++(3,m21) 392 391 72 / 0 fa atrak{1,2,3}_{kezd,vege}: @+1, gyartosor: @+5
3 (1,m2)++(2,m12)++(3,m21) 395 400 72 / 0 nem fa atrak{1,2,3}_{kezd,vege}: @+2, gyartosor: @+3
4 (1,m2)++(2,m12)++(3,m21)++(4,m1) 1473 1472 258 / 2 fa atrak{1,2,3}_{kezd,vege}: @+1, gyartosor: @+5
4 (1,m2)++(2,m12)++(3,m21)++(4,m1) 1523 1534 270 / 2 nem fa atrak{1,2,3}_{kezd,vege}: @+2, gyartosor: @+3
4 (1,m2)++(2,m12)++(3,m21)++(4,m1) 1653 1704 288 / 0 nem fa atrak{1,2,3}_{kezd,vege}: @+2, gyartosor: @+2
5 (1,m2)++(2,m12)++(3,m21)++(4,m1)++(5,m2)
9320 9375 1582 / 8 nem fa atrak{1,2,3}_{kezd,vege}: @+1, gyartosor: @+5
5 (1,m2)++(2,m12)++(3,m21)++(4,m1)++(5,m2)
9592 9635 1644 / 6 nem fa atrak{1,2,3}_{kezd,vege}: @+2, gyartosor: @+3
5 (1,m2)++(2,m12)++(3,m21)++(4,m1)++(5,m2)
11283 11606 2000 / 0 nem fa atrak{1,2,3}_{kezd,vege}: @+2, gyartosor: @+2

Ezutn azt vizsgltam, hogy ha a munkadaraboknak nincs azonostja, csak cmkje,

akkor milyen vltozsok trtnnek az elrhetsgi grfban. Legszembetnbb vltozs
az elrhetsgi grf mretnek drasztikus cskkense, fleg tbb munkadarab esetn.
(lsd 5. s 6. tblzat). Ennek oka, hogy az azonos cmkj munkadarabokat most nem
klnbztetjk meg azonostval, gy azok az llapotok, amelyeket az azonost miatt
klnbznek tekintettnk, azonost nlkl sszevonhatak. Msrszt a technolgiai
elgazsoknl az adott llapotbl elrhet j llapotok szma lnyegesen kevesebb,
mert azt nem a munkadarabok szma, hanem a klnbz cmkzsek szma hatrozza
meg.

29
 5. tblzat: Elrhetsgi grfok jellemzi, azonost nlkl, idzts nlkl.
munka- idzts nlkl, hiba nlkl idzts nlkl, hibval
darabok cmkzs
cscs l vgpont cscs l vgpont
szma
1 m1 7 6 1 8 7 2
1 m12 10 9 1 12 11 3
2 m1++m2 29 32 1 42 50 4
2 m1++m12 37 40 1 60 70 6
2 m2++m12 39 41 1 62 72 6
2 m12++m21 42 44 1 81 94 8
3 m1++m2++m12 145 173 1 306 409 12
3 m2++m12++m21 165 189 1 407 530 16
3 3`m1 27 28 1 49 57 4
4 m1++m2++m12++m21 631 772 1 2023 2852 32
4 4`m1 37 39 1 83 100 5
5 2`m2++m12++m21++m1 1283 1604 1 5431 7890 48
5 3`m21++2`m12 440 504 1 2573 3492 42
5 3`m2++2`m1 230 290 1 693 1001 12
6 2`m2++2`m12++m21++m1 2870 3588 1 18709 27518 90
6 3`m21++3`m12 759 878 1 6347 8782 64

6. tblzat: Elrhetsgi grfok jellemzi, azonost nlkl, idztssel.

munka- idztett, hiba nlkl idztett, hibval
darabok cmkzs vgpont/ vgpont/
cscs l cscs l
szma holtpont holtpont
1 m1 7 6 1/0 8 7 2/0
1 m12 10 9 1/0 12 11 3/0
2 m1++m2 23 22 2/0 40 40 7/0
2 m1++m12 29 28 2/0 58 58 11 / 0
2 m2++m12 29 28 2/0 57 57 11 / 0
2 m12++m21 35 34 2/0 83 86 14 / 0
3 m1++m2++m12 73 74 4/0 256 259 44 / 0
3 m2++m12++m21 86 85 4/0 376 379 66 / 0
3 3`m1 19 18 1/0 49 48 8/0
4 m1++m2++m12++m21 173 172 8/2 1287 1312 204 / 2
4 4`m1 25 24 1/0 102 101 16 / 0
5 2`m2++m12++m21++m1 302 301 12 / 2 3863 3954 603 / 4
5 3`m21++2`m12 26 25 2/2 1025 1024 183 / 5
5 3`m2++2`m1 56 55 2/0 448 455 65 / 0
6 2`m2++2`m12++m21++m1 461 462 20 / 10 13142 13446 2082 / 29
6 3`m21++3`m12 27 26 2/2 1269 1292 206 / 12
6 3`m2++3`m1 83 84 2/0 1118 1168 157 / 0

Idztsek minden esetben: atrak{1,2,3}_{kezd,vege}: @+1

gyartosor @+5
rdemes az azonostt tartalmaz s azonostt nem tartalmaz modellek elrhetsgi
grfjt sszehasonltani 3 darab m1 cmkj munkadarab esetn (lsd Mellklet 11. s
12. bra) Ha a munkadarabok egyedi azonostval rendelkeznek, akkor az elrhetsgi
grfban technolgiai elgazs tallhat pldul a 4. cscsnl. Az ennek megfelel
llapotban a robot vletlenszeren vlaszt a hrom munkadarab kzl, azaz a 4-es
cscsnak hrom kimen le van az elrhetsgi grfon. Ezzel szemben ha a
munkadaraboknak nincs egyedi azonostjuk, akkor az azonos m1 cmkk miatt
egyltaln nem lesznek technolgiai elgazsok az elrhetsgi grfon. gy ennek
mrete lnyegesen kisebb.

30
 A 4. s 5. tblzat adatait sszevetve az 1. s 2. tblzat adataival, megfigyelhetjk,
hogy kis szm (2-4) klnbz cmkj munkadarab esetn a kt esetben a grfok
mrete nem tr el jelentsen. Az idzts nlkli, hibamentes esetben a grfok
megegyeznek, mivel ekkor a cmke egyrtelmen azonostja a munkadarabot. A hibt is
tartalmaz, nem idztett esetben az azonost nlkli grf cscsainak szma valamivel
kisebb lesz, mert a cmkk csak addig klnbztetik meg a munkadarabokat, amg nem
trtnt hiba. Ha a gyrtsoron hiba kvetkezik be, akkor a hibs munkadarabok
egyforma m0 cmkt kapnak, s ezutn mr nem klnbztethetek meg. Ha
azonostjuk is van, akkor a hibs munkadarabok is megklnbztethetek, mivel a
hiba bekvetkezse az azonostt nem befolysolja. sszefoglalva megllapthat, hogy
a sznezs kialaktsa (egyedi azonost alkalmazsa vagy nem alkalmazsa) jelentsen
befolysolja az elrhetsgi grf mrett.

31
4.8. Rendszerllapotok bekvetkezsi valsznsgeinek
szmtsa az elrhetsgi grf lslyozsval
A modellezs sorn a CPN Tools-ban sikeresen beptettem a gyrtrendszer
hibalehetsgeit s azok bekvetkezsi valsznsgeit a modellbe, de ez utbbi
informci az elrhetsgi grfok generlsakor elveszik. A gyrtrendszer
vizsglatakor azonban nagyon hasznos informci, hogy a hibk mekkora
valsznsggel kvetkeznek be, mert ezek hatssal vannak a rendszerben ltrejv
llapotok bekvetkezsi valsznsgeire is. Mivel az elrhetsgi grf a rendszer
mkdse sorn ltrejv sszes lehetsges llapotot tartalmazza, ezrt clszer ezt
felhasznlni a bekvetkezsi valsznsgek szmtshoz. Felttelezzk, hogy a
gyrtrendszer adott indulllapotbl generlt elrhetsgi grfja vges s nem
tartalmaz krutat. Az ltalam elksztett Petri hlk elrhetsgi grfjra ezek a
felttelek teljeslnek. A tovbbiakban ismertetem az elrhetsgi grf lslyozsn
alapul mdszert, amellyel meghatrozhat a rendszer sszes llapotnak bekvetkezsi
valsznsge.
Els lpsben az elrhetsgi grf lslyozst vgezzk el. Ekkor minden lhez
hozzrendeljk azt a valsznsget, amellyel az tmenet lejtszdhat az lnek
megfelel lektsben. A slyokat az albbi szablyok alapjn hatrozzuk meg:
1. Ha az elrhetsgi grfban egy cscsnak egy kimen le van, akkor ez azt
jelenti, hogy a cscsnak megfelel llapotbl egyrtelmen kvetkezik a
kvetkez llapot. Ennek megfelelen az lsly ebben az esetben 1.
2. Ha a cscshoz tbb kimen l tartozik, akkor ez azt jelenti, hogy a rendszer
ebbl az llapotbl tbb klnbz llapotba juthat el. Ekkor a valsznsgek a
hibamentes s a hibt is tartalmaz esetben a kvetkezkppen szmthatk:
a) A hibamentes mkdst ler Petri hl elrhetsgi grfjban az elgazsok
minden esetben technolgiai elgazsok miatt jnnek ltre. Pldul, ha a
bemen trgyasztalon tbb munkadarab van, akkor ezek kzl a robot
vletlenszeren vlasztja ki a kvetkez feldolgozand munkadarabot. A
technolgiai elgazsok egymst klcsnsen kizr esemnyeknek felelnek
meg, s minden esemnynek megadhat a bekvetkezsi valsznsge,
melyek sszege 1 (azaz az esemnyek teljes esemnyrendszert alkotnak).
ltalban felttelezzk, hogy minden esemny egyforma valsznsggel
kvetkezhet be. Ekkor az lsly a kimen lek szmnak reciprokval
egyezik meg.
b) A hibalehetsg beptsvel a technolgiai elgazsokon kvl j,
hibaesemnyekhez kapcsold elgazsok jelennek meg az elrhetsgi
grfban. Ezeket az elgazsokat a jelzpont-eloszlsok, illetve lektselemek
segtsgvel azonostjuk s elklntjk a technolgiai elgazsoktl.
Tegyk fel, hogy egy t tmenet lejtszdsa sorn a norml lejtszds
mellett k-fle hibs lejtszds is lehetsges. Ekkor az elrhetsgi grf
megfelel cscshoz k+1 kilp l tartozik, melyek kzl egy a hibtlan
mkds, k db a hibs mkds miatt jn ltre. Jellje a hibaesemnyeket
f1,f2,...,fk, s a bekvetkezsi valsznsgeiket P1,P2,...,Pk. Ekkor a
hibamentes mkdshez tartoz l slya 1-(P1+P2+...+Pk), az fi
hibaesemnyhez tartoz l slya Pi, (i=1,...,k).

32
 Az lslyozs elvgzse utn meghatrozhatjuk a rendszerllapotok bekvetkezsi
valsznsgt. Ha felttelezzk, hogy az esetlegesen egyms utn bekvetkez
hibaesemnyek fggetlen esemnyek, akkor egy adott llapot bekvetkezsi
valsznsge a kvetkez mdon szmthat ki:
1. Ha az elrhetsgi grf fa, akkor az adott llapot bekvetkezsi valsznsge
megegyezik a kiindul cscsbl az adott llapotnak megfelel cscsba vezet t
mentn vett lslyok szorzatval.
2. Ha az elrhetsgi grf nem fa, akkor a kiindul cscsbl egy adott cscsba tbb
t vezet. Ekkor az adott llapot bekvetkezsi valsznsge megegyezik a
kiindul cscsbl az adott llapotnak megfelel cscsba vezet utak mentn vett
lslyok szorzatnak sszegvel.
Ha a hibaesemnyek nem fggetlenek, akkor a valsznsgek hasonlan szmthatak,
de feltteles valsznsgeket alkalmazva.
A mdszer alkalmazst egy egyszer pldn keresztl mutatom be. Az
lslyozshoz s a rendszerllapotok bekvetkezsi valsznsgeinek szmtshoz a
kutatcsoportban kifejlesztett OGAnalyzer szoftvert hasznlom [14].
Az OGAnalyzer elszr megjelenti a CPNTools-ban generlt elrhetsgi grfokat.
Ezutn elvgezhetjk a grf lslyozst. Az OGAnalyzer a technolgiai elgazsokhoz
automatikusan hozzrendeli az lslyokat, gy a tovbbiakban mr csak a
hibaesemnyek miatt ltrejv elgazsoknl kell megadni az lslyozst. A
gyrtrendszerre kifejlesztett modelljeinkben a gyrtsorokon egyfle hibaesemny
kvetkezhet be (megsrl a munkadarab cmkje), gy az elrhetsgi grfon a
hibaesemnyekhez kthet elgazsoknl mindig kt kimen l tallhat, annak
megfelelen, hogy trtnt, vagy nem trtnt hiba. A jelzponteloszlsok ismeretben
azonostani tudjuk, hogy a hiba melyik gyrtsoron kvetkezett be, s az ennek
megfelel slyt rendeljk hozz az lhez (lsd 2. bra). Az OGAnalyzer ezutn
megjelenti az lslyokat (az 1-es lslyokat a szoftver nem rja ki), majd a kvetkez
lpsben kiszmtja a cscsokhoz tartoz valsznsgeket. Az OGAnalyzer a
cscsokon szzadokra kerektve jelenti meg a szmolt rtkeket, emiatt lehet eltrs a
pontos bekvetkezsi valsznsg s a megjelentett rtk kztt, illetve nagyon kis
(<0,01) valsznsg esetn 0,00 jelenik meg a grfban.
Legyen 2 munkadarabunk, amelyek cmkzse m1, illetve m12, teht az els
munkadarabnak az els, a msodiknak elszr az els, majd a msodik gyrtsoron kell
vgigmennie. A munkadarabok rendelkeznek azonostval is. Legyen a hiba
bekvetkezsi valsznsge az els gyrtsoron 0,15 a msodikon 0,3.

33
 2. bra: lslyok megadsa az OGAnalyzer-ben.

Az idzts nlkli Petri hlhoz tartoz slyozott elrhetsgi grf a szmolt

valsznsgekkel a 3. brn lthat. A grfon pldul a 3-as cscsnl technolgiai
elgazs van (a robot vletlenszeren vlaszt a kt munkadarab kzl), ezrt itt a
kimen lek slyai 0,5 s 0,5. A 7-es cscsnl az m12 cmkj munkadarab kerlt az 1-
es gyrtsorra, ahol a meghibsods valsznsge 0,15, gy a kimen lek slyai 0,85
s 0,15.
Mivel a grf szerkezete nem fa, gy a cscsokhoz tartoz valsznsgek
kiszmtsakor tbb utat is figyelembe kell venni. Vegyk pldul azt az llapotot,
amikor a gyrts sorn nem keletkezett hibs munkadarab. Ennek az llapotnak a 60-as
sorszm cscs felel meg, melynek az OGAnalyzer ltal szmolt bekvetkezsi
valsznsge 0,51. A 22-es s 42-es cscsok azokat az llapotokat jellik, amikor a
gyrtsi folyamat eredmnye kt hibs munkadarab. Ezeknek a bekvetkezsi
valsznsge 0,02 illetve 0,04 teht annak a valsznsge, hogy mindkt munkadarab
gyrtsa sorn hiba trtnik 0,06.

34
3. bra: A slyozott elrhetsgi grf a bekvetkezsi valsznsgekkel, idzts nlkli
esetben.

35
 Az idztst tartalmaz sznezett Petri hl elrhetsgi grfja jelen belltsok
mellett fa szerkezet lesz. Ekkor minden llapot bekvetkezsi valsznsgnek
szmtsakor csak egy utat kell figyelembe venni. Az idztett esethez tartoz slyozott
elrhetsgi grf a szmolt valsznsgekkel a 4. brn lthat. Az idblyegek miatt
kt olyan cscs van (az 57-es ill. 59-es sorszm), amely annak az llapotnak felel meg,
amikor nem trtnt hiba a gyrtsorokon. Mindkt llapot bekvetkezsi valsznsge
0,25, gy annak a valsznsge, hogy a gyrtsi folyamat eredmnyeknt mindkt
munkadarabunk hibtlan lesz 0,5.

4. bra: A slyozott elrhetsgi grf a bekvetkezsi valsznsgekkel, idztett esetben.

36
5. Technolgiai folyamatok kvalitatv modell alap
diagnosztikja sznezett Petri hl hasznlatval

5.1. Esemnysorok reprezentcija sznezett Petri hlval

A sznezett Petri hl felptse

Diszkrt esemny rendszerek mkdse sok esetben lerhat a ki- s bemen
vltozk aktulis rtkeit tartalmaz esemnysorokkal. Ahogy ezt a 3.1 fejezetben
bemutattam, megadhatjuk a mkds lerst norml (hibamentes) esetben s klnbz
hibk fellpse esetn is. A sznezett Petri hl elksztse sorn is ezt a megkzeltst
alkalmaztam. Ennek alapjn a bemen s a kimen vltozknak helyek feleltethetek
meg. A vltozk ltal felvehet kvalitatv rtkeket az ezekhez a helyekhez kapcsold
sznhalmazok tartalmazzk. A sznhalmazokat kvalitatv rtkkszletknt definiltam.
Ezen kvl, mivel egy esemnyben a vltozk rtkein kvl az esemny
bekvetkezsnek idpontja is szerepel, ezrt idztett sznhalmazok hasznlata
szksges. gy egy vltoz aktulis rtkt az adott idpontban a vltoznak megfelel
helyen lv jelzpont szne adja meg. A diagnosztikai cl modell elksztshez a be-
s kimen vltozkon kvl egy-egy hely szksges a hiba, valamint az eltrsek
trolsra is (lsd 5. bra). A hibnak megfelel hely (fault) a bekvetkezett hibt
tartalmazza, pl. a hiba tpust ler sztring formjban. Az eltrshez tartoz helyen
(dev) a szimulci sorn keletkezett eltrseket gyjtjk ssze, a 3.1 fejezetben
ismertetett kulcssz(nominlis esemnyt) formtumban. gy egy szimulci futtatsa
utn ezen a helyen az sszes keletkezett eltrs szerepelni fog. A technolgiai folyamat
modellezsre kt tmenetet hasznltam. Az els (t1) tmenet feladata a (norml vagy
hibs) mkdsi md generlsa, s a kapott mkdsi mdnak megfelelen az 1.
idponthoz tartoz rtkek hozzrendelse a helyekhez. A msodik (t2) tmenet feladata
a vltozk rtknek frisstse az idztseknek s a mkdsi mdnak megfelelen,
valamint hibs mkds esetn az eltrsek hozzrendelse az erre szolgl helyhez.

5. bra: Egy technolgiai egysg ltalnos sznezett Petri hl modellje.

37
A sznezett Petri hl mkdse
Kezdetben a bemen s kimen vltozknak megfelel helyen egy-egy inicializl
token van, melyek idblyege 0. Ekkor a t1 tmenet engedlyezett. Az tmenetbe
beptett fault fggvny vletlenszeren generlja a norml vagy klnbz hibs
mkdsi mdokat. Az tmenet tzelse utn a fault helyen megjelenik egy token, a
fault fggvny ltal visszaadott rtkkel. Ha a rendszer hibamentesen mkdik, akkor a
fault helyen egy norm sznnel rendelkez token jelenik meg, egybknt pedig a hibra
vonatkoz sztring (pl. leak, pos_bias). A tbbi vltoz lektse szintn az tmenetben
trtnik meg, a kapott mkdsi mdnak megfelelen. A t1 tmenet tzelse teht
meghatrozza a hibamentes vagy hibs mkdst, valamint ennek megfelelen belltja
a vltozk 1. idponthoz tartoz rtkeit. Ezutn a t2 tmenet vlik engedlyezett, s
annyiszor tzel, ahny esemny szksges az adott technolgiai folyamat
lejtszdshoz. A t2 tmenet minden lejtszdsakor felhasznlja a fault helyen lv
tokent, s ennek megfelelen frissti a vltozk rtkeit. Az tmenet lejtszdsi idvel
is rendelkezik, gy a tokenek idblyegei minden lejtszds utn vltoznak. Hibs
mkds esetn az tmenet a karakterisztikus s a nominlis trace kztt az aktulis
lpsben ltrejv egy vagy tbb eltrst is hozzrendeli a dev helyhez.

5.2. Az elrhetsgi grfon alapul diagnosztikai mdszer

Ebben a rszben azt mutatom be, hogy hogyan lehet az esemnysorokat modellez
sznezett Petri hl elrhetsgi grfjt felhasznlni a technolgiai rendszer
diagnosztikai cl vizsglathoz.
A technolgiai egysg elzekben bemutatott modellje tartalmazza a norml
mkds mellett a klnbz hibs mkdsi mdokat is. Az elrhetsgi grfja egy
adott kezdllapotbl kiindulva a rendszer mkdse sorn bekvetkez sszes
lehetsges llapotot tartalmazza. Ebbl kvetkezik, hogy a technolgiai rendszer
elzekben ismertetett felpts sznezett Petri hl modelljnek elrhetsgi grfjban
a norml s a hibs mkdsekhez tartoz llapotok egyarnt szerepelnek. A grfban az
indul llapot utn biztosan lesz egy elgazs a t1 tmenetben szerepl fault fggvny
kirtkelse miatt (a klnbz mkdsi mdokra a fggvny klnbz rtkeket ad).
Mivel a hibt a fault helyen lv token szne tartalmazza, s ez a szimulci sorn vgig
vltozatlan marad, emiatt a klnbz mkdsi mdokhoz tartoz llapotok
egyrtelmen megklnbztethetek egymstl. Pldul, ha kt klnbz mkds
sorn elfordul olyan llapot, amikor a vltozk rtkei s az esetleges eltrsek is
megegyeznek, az llapotok a hiba szne miatt akkor is klnbzni fognak. Ez azt jelenti,
hogy az elrhetsgi grf fa szerkezet, s az egyes mkdsi mdoknak klnbz
utak fognak megfelelni.
Miutn ltrehoztuk a vizsgland rendszer sznezett Petri hl modelljt, clszer
szimulcival meggyzdhetnk a mkds helyessgrl. Ha a modell megfelel,
akkor elllthatjuk az elrhetsgi grfot, adott indulllapotot felvve. Felttelezzk,
hogy csak elre ismert hibk kvetkezhetnek be, amelyeket beptettnk a modellbe s
ezeknek ismerjk ezen hibk hatst a technolgiai rendszer mkdsre. Tovbb
felttelezzk, hogy a hibk kzl egyszerre csak egy kvetkezhet be, valamint a hiba a
vizsglat kezdetekor fennll s nem vltozik a folyamat lejtszdsa sorn. Ebben az
esetben az elrhetsgi grf minden olyan llapotot tartalmaz, ami a kezdllapotbl

38
elrhet. A grf vgpontjai megfelelnek a technolgiai rendszer vgllapotainak. A
vgllapotokban a dev helyen lv minden egyes token egy eltrsnek felel meg. Teht
minden vgponthoz tartozik egy, az adott mkdsre jellemz eltrs lista. Tegyk fel,
hogy rendelkezsnkre ll a technolgiai rendszer mkdsbl szrmaz teljes
karakterisztikus trace, s az eltrsek listjt is ismerjk, amit a nominlis trace-szel
val sszehasonltsbl kaptunk. Ekkor a hiba meghatrozshoz ezt az eltrs listt
kell sszehasonltani a grf vgpontjainak dev helyn szerepl tokenek listjval. Ha a
kt lista megegyezik, akkor a bekvetkezett hiba kiolvashat a fault helyen lv token
sznbl. Ha az elrhetsgi grf vgpontjai kztt tbb olyan is van, amelyeknl az
eltrsek listja megegyezik a technolgiai rendszerbl szrmaz karakterisztikus trace
alapjn meghatrozott eltrs listval, akkor a fennll hiba nem azonosthat
egyrtelmen, hanem csak a lehetsges hibaokok halmazt tudjuk megadni. Ilyen
esetben a hiba azonostshoz tovbbi vizsglat szksges.
Most tegyk fel, hogy nem ismerjk a teljes karakterisztikus trace-t, pldul azrt,
mert a technolgiai folyamat mg nem fejezdtt be. Ekkor csak egy adott idpontig
ismerjk a bekvetkezett esemnyeket s az eltrseket. Ebben az esetben ezeket az
eltrseket azoknak a cscsoknak az eltrseivel kell sszehasonltani, amelyeknek az
idblyege megegyezik az adott idponttal. Ha csak egy olyan cscsot tallunk, ahol az
eltrsek megegyeznek, akkor a hibt egyrtelmen meghatroztuk. Ha tbb cscsot is
tallunk, amelyekre teljesl az egyezs, akkor az ezekhez tartoz hibk kzl brmelyik
bekvetkezhetett. Ebben az esetben nem dnthet el egyrtelmen a tnylegesen
bekvetkezett hiba, viszont az sszes hiba halmazt leszktettk a lehetsges esetekre.

5.3. Egyszer technolgiai rendszer diagnosztikai vizsglata

Az ltalam vizsglt technolgiai rendszer tbb hasonl tartlybl pl fel, melyek
klnbz mdon kapcsoldhatnak egymshoz. A vizsglt technolgiai folyamat a
tartlyok valamilyen folyadkkal val feltltse.

Egy tartly feltltsi folyamatnak modellje

Elszr egy tartly feltltsi folyamatnak modelljt ksztettem el, ezt ksbb
felhasznltam a klnbz kapcsolsok kialaktsakor. A tartly egy tlt s egy rt
vezetkkel rendelkezik, s az ezeken thalad folyadkram egy-egy ktlls szeleppel
(pl. mgnesszeleppel) szablyozhat. A tartlyban egy szintrzke is tallhat, mely az
opertor fel jelzi a folyadk szintjt (lsd 6. bra).

39
 6. bra: A vizsglt technolgiai egysg.

A technolgiai folyamat a kvetkez lpsekbl ll:

0. kezdeti llapot, a szelepek zrva vannak s a tartly res
1. kinyitjuk a bemen szelepet
2. kt peridus alatt a tartly feltltdik
3. kinyitjuk a kimen szelepet, ezzel a feltltsi folyamat befejezdik
A rendszerben a kvetkez hibk valamelyiknek elfordulst felttelezzk:
leak a tartly kilyukadsa, melynek hatsra a tartlyban a szint nulla marad a
feltlts sorn
neg_bias a szintmr szenzor negatv irnyban egy kvalitatv egysget tved
pos_bias a szintmr szenzor pozitv irnyban egy kvalitatv egysget tved
A modellezs s a diagnosztikai vizsglat sorn feltesszk, hogy a hiba a technolgiai
folyamat indtsakor mr fennll, valamint az elre ismert lehetsges hibk kzl
egyszerre csak egy kvetkezik be.
A modellezsi folyamat els lpseknt meghatroztam a bemen s kimen
vltozkat. Pldnkban a bemen vltozk a szelepek llsai lesznek, a kimen vltoz
pedig a szenzor ltal mrt folyadkszint. A bemen s kimen vltozkhoz a kvetkez
kvalitatv rtkhalmazokat hatroztam meg:
Qsz={opn, cl} a szelepek lehetsges llsa: opn nyitott, cl zrt
Qe={e0, null, L, N, H, e1} a szint lehetsges rtkei: e0 a folyadkszint az als
mrshatr alatt van, null res, L alacsony, N norml, H magas, e1 a
szint meghaladja a fels mrshatrt
A sznezett Petri hlban ezeknek a vltozknak egy-egy helyet (in, out, level)
feleltettem meg. A helyekhez tartoz sznhalmazok a vltozk lehetsges rtkeit
tartalmazzk, kvalitatv rtkkszletet felttelezve. A technolgiai rendszer vizsglata
sorn a vltozk rtke mellett az is fontos, hogy ezt az rtket mely idpontban veszi
fel, ezrt az elbbi sznhalmazok egyben idztettek is. gy minden token a szn mellett
egy idblyeggel is rendelkezik. A 7. tblzatban tallhatk az egyes mkdsi
mdokhoz tartoz esemnyek. A tblzat egy sornak esemnyeibl ll sorozat az
adott mkdst ler trace-nek felel meg.

40
 7. tblzat: Klnbz mkdsi mdokhoz tartoz trace-ek.

Mkdsi mdok trace

norm (1, opn,cl,null) (2,opn,cl,L) (3,opn,opn,N)
leak (1,opn,cl,null) (2,opn,cl,null) (3,opn,opn,null)
neg_bias (1,opn,cl,e0) (2,opn,cl,null) (3,opn,opn,L)
pos_bias (1,opn,cl,L) (2,opn,cl,N) (3,opn,opn,H)
Kezd llapotban a szelepek zrva vannak, a tartly pedig res. Az aktulis norml
vagy hibs mkdsi mdot a t1 tmenetbe beptett fault fggvny lltja el, a 4
lehetsges rtk kzl vletlenszeren vlasztva egyet. A kapott mkdsi md
trolsra egy j helyet is ltrehoztam, fault nvvel. Erre azrt van szksg, hogy a
folyamat lejtszdsa sorn minden lpsben tudjuk, hogy mi az aktulis md, ami
szerint mkdik a rendszer. A t1 tmenet tzelse teht ellltja az aktulis mkdsi
mdot, melyet egy token sznben sztring formban trolunk a fault helyen. Ezentl a
fault fggvny eredmnynek megfelelen hozzrendeli az in, out, level helyekhez az 1.
idponthoz tartoz rtkeket. Ezutn a t2 tmenet engedlyezett vlik, s addig
tzelkpes is marad, amg a technolgiai folyamat vget nem r. A t2 tmenet tzelse
minden lpsben frissti a vltozk rtkeit. A vltozk rtkeinek belltsa az adott
mkdsi mdnak megfelel trace felhasznlsval trtnik. Felttelezzk, hogy a
klnbz ismert mkdsi mdokhoz tartoz trace-ek rendelkezsre llnak. Ekkor a
hiba tpusa alapjn kivlasztjuk a hozz tartoz trace-t, s egy adott idpontban a trace
megfelel esemnybl kiolvassuk a vltozk aktulis rtkeit. Mindkt tmenet
lejtszdsi ideje 1 idegysg.

Az alkalmazni kvnt diagnosztikai eljrshoz a hibs mkdsek esetn szksg van

az eltrsek ellltsra is. Az eltrsek trolsra ltrehoztam egy j helyet dev nvvel.
A hely sznhalmazban kulcssz(nominlis esemnyt) tpus rtkek szerepelhetnek,
ahol a kulcssz a GRE (greater), SML (smaller), LAT (later), EAR (earlier), NH (never
happened) valamelyike lehet, a norml esemny pedig (id, in, out, level) formtumban
adott. Az eltrsek ellltsra kt mdszert mutatok be.

Amennyiben rendelkezsre ll a rendszer P-HAZID tblzata, akkor tudjuk azt, hogy

az egyes hibk bekvetkezsei milyen eltrseket okoznak a norml mkdshez
kpest. Ekkor minden lpsben a P-HAZID tblzat alapjn hozzrendelhetjk a
megfelel eltrst a dev helyhez. Ennl a megoldsnl minden lpsben egyesvel kell
az eltrseket az adott idponthoz rendelni, ami nagyobb rendszerek esetben nem
hatkony.
A msik lehetsg az eltrsek ellltsra a rendszer aktulis llapotnak s a
norml trace-nek az sszehasonltsval trtnik. Az eltrsek generlsa tbb lpsbl
ll. A mennyisgi eltrsek a norml trace adott idponthoz tartoz esemnyvel val
sszehasonltsbl hatrozhatk meg. Az sszehasonlts sorn egyedl a kimenet
(vagyis a szint) trhet el, az esemny tbbi paramternek meg kell egyeznie. Erre a
feladatra ltrehoztam egy fggvnyt quan nvvel. Az idbeli eltrsek kzl az earlier
s later tpusak meghatrozshoz az aktulis esemnyt a norml trace sszes
esemnyvel ssze kell hasonltani. Ebben az esetben csak az idblyeg lehet
klnbz, az esemny tbbi paramternek meg kell egyeznie. Ezt a feladatot chron

41
fggvny vgzi el. A never happened tpus eltrseket kln kell kezelni, mivel ezek
ellltsa csak a folyamat befejezdse utn lehetsges. A never happened eltrseknl
nem elg azt ellenrizni, hogy a norml trace-ben szerepel-e a vizsglt esemny, mert
elfordulhat, hogy az esemny korbban vagy ksbben kvetkezett be, mint a norml
esemny (azaz idbeli eltrs volt). A never happened eltrsek ellltshoz ezrt
ltrehoztam egy j helyet (never) s egy tmenetet (t3). A never hely a nominlis trace
esemnyeibl mg be nem kvetkezett esemnyek listjt tartalmazza. A t2 tmenet
minden tzelsekor megvizsglja, hogy az aktulis esemny szerepel-e a listban. Ha
igen, akkor ezt az esemnyt eltvoltja a listbl. Ugyancsak kikerlnek a listbl azok
az esemnyek, amelyek a norml idponthoz kpest korbban vagy ksbb kvetkeztek
be. gy a technolgiai folyamat lejtszdsa utn azok az esemnyek maradnak a never
helyen, amelyek a folyamat sorn semmilyen mdon nem kvetkeztek be. Ezutn a t3
tmenet tzel s ezen esemnyekhez hozzilleszti a NH kulcsszt, gy megkapjuk a
never happened tpus eltrseket is, s a megfelel tokeneket tovbbtja is a dev helyre.
A folyamat vgn a dev hely tartalmazza az sszes ltrejtt eltrst. A tartly feltltsi
folyamatt modellez sznezett Petri hl a 7. brn lthat.

7. bra: Egy tartly feltltsnek modellje.

Szimulcival ellenrizhet a modell helyes mkdse, majd a hozz tartoz

elrhetsgi grf felhasznlhat a rendszer diagnosztikjra.
Bizonyos esetekben szksg lehet a kvalitatv rtktartomny finomtsra. Ezrt
elksztettem a tartly feltltsi folyamatt modellez Petri hlt a folyadkszint
felbontsnak finomtsval is. A folyadk szintjnek tartomnyait a kvetkezkppen
vltoztattam meg:

42
 Qe={e0, l0, l10, l20, l30, l40, l50, l60, l70, l80, l90, l100, e1},
ahol a lehetsges rtkek jelentse: l0 a tartly res, l10 a szint a teljes tartomny
10%-a, l20 a szint 20%, , l100 a szint 100%, e0 s e1 tovbbra is az als, illetve
fels mrshatron kvli rtkeket jelenti.

A feltltsi folyamat diagnosztikai vizsglata az elrhetsgi grf

hasznlatval
A feltltsi folyamatot ler Petri hl elrhetsgi grfja a 8.brn lthat. A grf az
idblyegek s a hiba tpusnak trolsa miatt fa struktrval rendelkezik. A fa ngy ga
a ngy klnbz (egy norml s hrom hibs) mkdsi mdnak felel meg. A never
happened tpus eltrsek generlsa miatt a hibs mkdsekhez tartoz gak hossza
eggyel nagyobb, mint a norml mkdshez tartoz g hossza. Az elrhetsgi grf
minden cscshoz tartozik egy idblyeg s egy tokeneloszls, amely a rendszer egy
adott llapott rja le. A diagnosztikai szempontjbl a dev hely tokeneloszlsa rdekes,
mert ez a hely tartalmazza az adott idpontig keletkezett eltrseket.
Tegyk fel, hogy a rendszer mkdsnek teljes karakterisztikus trace-e, s az ez
alapjn szmtott eltrsek rendelkezsre llnak, azaz a technolgiai folyamat
befejezdtt. Az ilyen az llapotoknak az elrhetsgi grf vgpontjai felelnek meg. A
ngy vgpont az adott mkdsi md sorn ltrejtt sszes eltrst tartalmazza. A
keresst ilyen esetben elg a grf vgpontjai kztt elvgezni. Ennl az egyszer
folyamatnl az egyes mkdsi mdokhoz tartoz eltrsek listi klnbzek, teht a
technolgiai rendszerbl szrmaz teljes eltrs listt sszehasonltva a vgpontok
eltrseivel, a bekvetkezett hiba egyrtelmen azonosthat. A 8. brn a 13-as cscs a
norml mkds vgllapotnak felel meg, gy itt az eltrseket tartalmaz dev hely
res. A 14, 15, 16 sorszmmal rendelkez cscsok a hrom klnbz hibs
mkdshez tartoz vgllapotok. Pldul a 14-es cscs a szenzor negatv bias tpus
meghibsodsa esetn ltrejtt vgllapotot jelenti. Lthat, hogy ennl a cscsnl a dev
helyen megjelentek a mkds sorn generlt eltrsek.

8. bra: Tartly tltsi folyamathoz tartoz elrhetsgi grf.

On-line diagnosztika esetben csak egy adott idpontig ismerjk a technolgiai
folyamatbl szrmaz trace-t s az eltrseket. Ekkor az adott idblyeg cscsokhoz
tartoz eltrslistkat hasonltjuk ssze a trace ltal meghatrozott eltrsekkel. Ebben a
pldban, ha az els idpontban keletkezett eltrs, akkor ez csak a szenzor negatv

43
vagy pozitv bias hibja miatt jhetett ltre. Az eltrs tpusbl a bekvetkezett hiba
egyrtelmen azonosthat. Ha az els idpontban nem keletkezett eltrs, akkor kt
eset lehetsges: a rendszer norml mdon mkdik, vagy pedig lyukas a tartly. A kt
eset elklntse a msodik idpontban ltrejtt eltrsek alapjn lehetsges. Ha a
msodik idpontban keletkezett eltrs, akkor a tartly lyukadsa kvetkezett be,
ellenkez esetben nem kvetkezett be hiba, s a rendszer norml mdon mkdik.
Ha a szenzor rtktartomnynak felbontst finomtjuk, akkor a tartly feltltse is
hosszabb esemnysorral rhat le. Ez azt jelenti, hogy az elrhetsgi grfban az egyes
mkdsekhez hosszabb utak tartoznak. Az 9. brn erre lthatunk egy pldt, itt a
tartlyt norml mkds szerint az l80 (azaz 80%-os) szintig tltjk.

9. bra: Tartly tltsi folyamathoz tartoz elrhetsgi grf, a szenzor rtktartomnynak

finomabb felbontsa mellett.

5.4. sszetett technolgiai rendszerek diagnosztikai vizsglata

Miutn elksztettem egy tartly sznezett Petri hl modelljt, ezt felhasznlva tbb
tartlybl ll rendszereket hoztam ltre. Az sszetett rendszerek modellezsre
hierarchikus Petri hlkat hasznltam. A hierarchikus Petri hl legfels szintje a logikai
kapcsolatokat rja le, egy-egy technolgiai egysg modelljt pedig az als szint hlk
tartalmazzk.
Elszr hrom egyforma tartly sorba kapcsolst modelleztem. Az els tartly (TA)
kimen szelepe (VB) egyben a msodik tartly (TB) bemen szelepe, a VC szelep pedig
hasonl mdon kapcsolja ssze a msodik (TB) s a harmadik (TC) tartlyt. A
technolgiai folyamat clja mindhrom tartly feltltse. Az egyes tartlyok tltsi
folyamata hasonl, mint az egy tartlyos pldnl, azzal a klnbsggel, hogy egy
tartly tltse akkor kezddik, amikor az eltte lv tartly kimeneti szelept kinyitjuk.
(Megjegyzs: hasonlan az egy tartlyos pldhoz, a tartly feltltse az id alapjn
trtnik, nem a szintjelz visszajelzse alapjn.) A rendszer fels szint Petri hlja a
10. brn lthat. Az als szint hlk megfelelnek az egy tartlyos pldnl
lertaknak. Felttelezzk, hogy brmelyik tartly feltltse sorn bekvetkezhet a
korbban ismertetett hromfle hiba (lyukads, rzkel negatv vagy pozitv bias
hibja) valamelyike, de egy technolgiai egysgnl csak egyfle hiba fordulhat el. A
fels szint hlban az elz tartlyok hibinak figyelembe vtelre szolgl a faults
hely. Felttelezzk, hogy a klnbz tartlyokban a hibk egymstl fggetlenl
kvetkeznek be. Mivel minden tartly ngyflekppen mkdhet, gy sszesen 444 =
64-fle vgllapot jhet ltre, a teljes elrhetsgi grf pedig 408 cscsot tartalmaz (lsd
Mellklet 13. bra). Ezek kztt vannak olyanok, amelyeknl a bemeneti s kimeneti
vltozk rtkei s az eltrsek listja azonos, noha nem ugyanazok a hibk kvetkeztek

44
be a rendszer mkdse sorn. Pldul, ha a msodik tartlynl lyukads trtnt, a
harmadik viszont norml mdon mkdik, akkor az utols kt tartly res marad, de
ugyanez a helyzet ll el akkor is, ha az utols kt tartly mindegyike lyukas. Ebben az
esetben az eltrsek vizsglata alapjn csak a lehetsges hibk halmaza hatrozhat
meg.

10. bra: Hrom tartly sorba kapcsolsa.

A msodik plda egy nagyobb gyjttartlybl (TA) s a hozz csatlakoz kt kisebb
tartlybl (TB, TC) ll. Ttelezzk fel, hogy a TA tartlyt ktszer akkora
trfogatrammal tltjk, mint a TB s TC tartlyokat, gy a feltlts ideje a hrom
tartlynl azonos. A rendszer fels szint Petri hlja a 11. brn lthat. A prhuzamos
kapcsolat kvetkezmnyeknt a TB s TC tmenetei egyszerre engedlyezettek. Ekkor a
kvetkez tmenet kivlasztsa vletlenszeren trtnik, ami azt jelenti, hogy egy
llapotot akr tbbfle tzelsi sorozattal is el lehet rni. Emiatt a rendszer elrhetsgi
grfja nem lesz fa struktrj. Ezt a problmt gy kszbltem ki, hogy a TB tartly
tmeneteinek magasabb prioritst adtam, gy egy idpontban elszr a TB-hez, majd a a
TC-hez tartoz tmenet fog lejtszdni. Ezltal az tmenetek lejtszdsi sorrendje
egyrtelm, az elrhetsgi grf pedig fa lesz. A soros esethez hasonlan a mkdsi
mdoktl fggen itt is 64-fle vgllapot jhet ltre, a teljes elrhetsgi grfnak pedig
453 cscsa van (lsd Mellklet 14. bra). A rendszer diagnosztikjra vonatkozan
ezesetben is hasonl megllaptsok tehetk, mint a soros kapcsols esetn.

11. bra: Hrom tartly prhuzamos kapcsolsa.

45
5.5. sszetett technolgiai rendszerek diagnosztikja
strukturlis dekompozcival
Az elzekben bemutatott viszonylag kis mret sszetett rendszerek pldjn is jl
ltszik az elrhetsgi grfok mretnek robbansszer nvekedse. Mr hrom tartly
esetn is a teljes rendszerhez tartoz elrhetsgi grfok tbb szz cscsot tartalmaznak.
A szenzor rtktartomnynak finomtsval a grfok mg nagyobbak lesznek, mert
egy-egy mkdshez hosszabb gak tartoznak. A grfok mretnek nvekedsvel a
keressekhez szksges szmtsigny is n. Ezrt a diagnosztikai eljrs gyakorlati
hasznlhatsga szempontjbl kulcsfontossg a dekompozci lehetsge.
Az sszetett rendszerek felbonthatk az ket alkot technolgiai egysgekre. Ezt
kihasznlva a diagnosztikai vizsglatot clszer technolgiai egysgenknt kln-kln
elvgezni. Ennek megvalstshoz els lpsben a teljes rendszerhez tartoz trace-bl
ki kell nyerni azokat az informcikat, amelyek a vizsglt egysgre vonatkoznak. Ehhez
elszr megkeressk az adott egysg tnyleges mkdshez tartoz idpontokat. Az
ezekhez tartoz esemnyekben szerepl vltozk kzl kivlasztjuk azokat, amelyek a
vizsglt egysgre vonatkoznak, a tbbi vltozt pedig elhagyjuk. Ezutn az esemnyek
bekvetkezsnek idpontjait eltoljuk gy, hogy az els esemnyhez tartoz idpont 1
legyen. gy az sszetett rendszer mkdst ler trace-t feldaraboljuk az egyes
alrendszerek mkdst ler esemnysorokra. Ezutn generljuk az eltrseket egy-egy
technolgiai egysgre vonatkozan, majd az adott technolgiai egysg sznezett Petri
hljhoz tartoz elrhetsgi grf alapjn vgezzk el az alrendszer diagnosztikjt.
Tbb tartly sszekapcsolst ler modell elksztsnl figyelembe kell venni, hogy
az elz tartlyokban bekvetkezett hiba milyen hatssal van az aktulis tartly
mkdsre. Ezrt egy tartly sznezett Petri hljban a fault helyen az aktulis s az
elz tartlyok mkdsi mdjait troltam. Hogy megklnbztessem ket, a mkdsi
mdot ler sznt kiegsztettem egy plusz attribtummal. Pldul (norm, act) jelentse:
az aktulis tartly norml mdon mkdik, (leak, prev) jelentse: az elz tartly
lyukas.
Ha az els tartly analzisvel a kapott eredmny 1 darab azonostott hiba, akkor a
msodik technolgiai egysg vizsglatnl ezt az eredmnyt mint elz hibt
hozzadjuk a fault helyhez a korbban ismertetett mdon. Ezutn ellltjuk a msodik
technolgiai egysghez tartoz elrhetsgi grfot s az eltrseket az erre az egysgre
vonatkoz trace felhasznlsval. Az gy kapott elrhetsgi grf azokat az llapotokat
s eltrslistkat tartalmazza, amelyek az elz egysgben trtnt hiba
figyelembevtelvel jhetnek ltre. Ezen a grfon is elvgezzk a diagnosztikai
vizsglatot, a kapott eredmnyt pedig ismt felhasznljuk a kvetkez egysg
vizsglathoz, s gy tovbb. Ennek a mdszernek az elnye, hogy kisebb grfon s
kevesebb sszehasonltand eltrssel kell elvgezni a keresst, mint ha a teljes
rendszert vizsglnnk.
Tekintsk a hrom sorba kapcsolt tartly pldjt. A teljes rendszerhez tartoz
nominlis trace a 8. tblzatban lthat. A trace 1., 2., 3. idponthoz tartoz sornak
VA, VB s TA oszlopai alkotjk az els tartlyhoz tartoz trace-t, a 3., 4., 5. sorok VB,
VC, s TB oszlopai a msodik tartlyhoz tartoz trace-t, s az 5., 6., 7. sorok VC, VD s
TC oszlopai a harmadik tartlyhoz tartoz trace-t.

46
8. tblzat: A soros rendszerhez tartoz teljes nominlis trace s az egyes egysgekhez tartoz
trace darabok. Piros: els tartly, kk: msodik tartly, zld: harmadik tartly.

Bemeneti vltozk Kimeneti vltozk

id
VA VB VC VD TA TB TC
1 opn cl cl cl null null null
2 opn cl cl cl L null null
3 opn opn cl cl N null null
4 opn opn cl cl N L null
5 opn opn opn cl N N null
6 opn opn opn cl N N L
7 opn opn opn opn N N N

Tegyk fel, hogy a technolgiai rendszerbl a 9. tblzatban lthat karakterisztikus

trace nyerhet ki.
9. tblzat: A soros rendszerhez tartoz karakterisztikus trace.
Bemeneti vltozk Kimeneti vltozk
id
VA VB VC VD TA TB TC
1 opn cl cl cl L null null
2 opn cl cl cl N null null
3 opn opn cl cl H null null
4 opn opn cl cl H null null
5 opn opn opn cl H null null
6 opn opn opn cl H null null
7 opn opn opn opn H null null

A karakterisztikus trace-bl kivgjuk az egyes tartlyokhoz tartoz trace darabokat. Az

egyes tartlyokhoz tartoz esemnysorok a 10. tblzatban lthatk.
10. tblzat: Az egyes tartlyokhoz tartoz trace-ek.

tartly trace
TA (1,opn,cl,L) (2,opn,cl,N) (3,opn,opn,H)
TB (1,opn,cl,null) (2,opn,cl,null) (3,opn,opn,null)
TC (1,opn,cl,null) (2,opn,cl,null) (3,opn,opn,null)

A vizsglatot az els tartllyal kezdjk. Ellltjuk a TA tartly mkdst ler trace

darab (10. tblzat els sora) alapjn elll eltrseket, s ezeket sszevetjk az egy
tartly feltltshez tartoz elrhetsgi grf (12. bra) vgpontjaival. A 15. sorszm

47
cscs eltrs listja tartalmazza pontosan ezeket az eltrseket, gy a fault hely tokenje
alapjn megllapthat, hogy az els tartlyban a szintrzkelnek pozitv bias hibja
van. Ezt az informcit felhasznljuk a kvetkez tartly vizsglatakor, azaz a fault
helyhez egy (pos_bias, prev1) rtk tokent adunk. Ennl a tartlynl is generljuk az
elrhetsgi grfot. A kapott grf a Hiba: A hivatkozs forrsa nem tallhat. brn
lthat, s azt mutatja meg, hogy milyen llapotokat kaphatunk a msodik tartly
feltltsekor, ha az elz tartlyban az rzkel pozitv bias hibval mkdtt. Ezutn
ellltjuk a TB tartly mkdst ler trace (10. tblzat msodik sora) alapjn add
eltrseket, s megkeressk az ennek megfelel vgpontot az elrhetsgi grfon. A
hiba, vagyis a tartly lyukadsa ebben az esetben is egyrtelmen azonosthat (16-os
cscs). A harmadik tartly modelljben a fault helyhez mindkt elz hibt hozzadjuk
egy (pos_bias, prev1) valamint egy (leak, prev2) rtk token formjban. Ezutn
generljuk a harmadik tartly elrhetsgi grfjt is. A kapott grf a 14. brn lthat.
Ez a grf megadja a harmadik tartly feltltsekor elll llapotokat, ha az elz
tartlyokban pozitv bias hiba, illetve lyukads fordult el. A TC tartly feltltsekor
kapott karakterisztikus trace darab alapjn ismt generljuk az elll eltrseket s
ezeket sszevetjk az elrhetsgi grf vgpontjaival. Az eltrsek alapjn kt
lehetsges mkdsi md azonosthat: a harmadik tartly vagy norml mdon
mkdik (14-es cscs), vagy lyukas (15-s cscs).

12. bra: Az els tartly elrhetsgi grfja.

48
13. bra: A msodik tartlyhoz tartoz elrhetsgi grf, ha az els tartlyban pozitv bias hiba
trtnt.

14. bra: A harmadik tartlyhoz tartoz elrhetsgi grf, ha a msodik tartly lyukas.

49
IV. sszefoglals
Munkm sorn elksztettem egy kt gyrtsorbl s az azokat kiszolgl robotbl
felpl gyrtrendszer mkdst ler sznezett Petri hl modellt. A gyrtsoron
hibaesemnyek bekvetkezst felttelezve a mkds sorn elfordul
hibalehetsgeket beptettem a rendszer modelljbe. Ezzel megmutattam, hogy a
korbbi kutatsink sorn alkalmazott hibabeptsi eljrs akkor is mkdik, ha a
hibamentes mkdst ler modell nem alacsony szint, hanem sznezett Petri hl. Az
elksztett sznezett Petri hl modelleknl idztst is alkalmaztam a vals mkds
jobb lersra. Elksztettem a gyrtrendszer fenti sznezett Petri hl modelljeit olyan
vltozatban is, amikor a munkadarabok nem rendelkeznek egyedi azonostval. A
vizsglt gyrtrendszer klnbz Petri hl alap modelljeinek elksztsre a CPN
Tools szoftvert hasznltam.
Megvizsgltam a hiba beptsnek, illetve az idzts bevezetsnek a hatst az
elrhetsgi grf jellemzire (mret, szerkezet, vgpontok szma, holtpontok
megjelense). Megllaptottam, hogy a modellezs sorn a hl sznezsnek kialaktsa
(egyedi azonost alkalmazsa/nem alkalmazsa) jelentsen befolysolja az elrhetsgi
grf mrett.
Az elrhetsgi grfon lslyozst bevezetve meghatrozhatak az egyes
rendszerllapotok bekvetkezsi valsznsgei. Ezt az OGAnalyzer szoftver
felhasznlsval konkrt pldkon mutattam be.
Egyszer s sszetett technolgiai folyamatok pldjn bemutattam, hogy a diszkrt,
vagy kvalitatv vltozkat tartalmaz esemnysorok hogyan modellezhetek sznezett
Petri hlkkal. Vizsgltam, hogy a technolgiai folyamat vals esemnysort ismerve a
Petri hl elrhetsgi grfja miknt hasznlhat az esetlegesen elfordul hibk
azonostsra.
sszetett folyamatok vizsglatnl bemutattam, hogy strukturlis dekompozcival
hogyan lehet a teljes folyamat diagnosztikjt a rszrendszerek vizsglatra
visszavezetni.
A dolgozatban bemutatott eredmnyeket felhasznltuk a [15][16][17]
kzlemnyekben.

50
V. Irodalomjegyzk
[1] C. Cassandras, S. Lafortune: Introduction to Discrete Event Systems, Kluwer
Academic Publishers, 1999
[2] M. Zhou, K Venkatesh: Modeling, Simulation and Control of Flexible
Manufacturing Systems: A Petri Net Approach, World Scientific, 1999
[3] M. Gerzson, B. Mrczi, A. Leitold: Diagnosis of Technological Systems based
on their Coloured Petri Net Model, ARGESIM Report, no. S38, pp. 358/1-6.,
2012
[4] L. Yaqiong, C. K. M. Lee, H. K. Chan, W. H. Ip: Rfid-based colored petri net
applied for quality monitoring in manufacturing system, The International
Journal of Advanced Manufacturing Technology, vol. 60, pp. 225-236, 2012
[5] A. Tth, . Werner-Stark, K. M. Hangos: HAZID information based
operational procedure diagnosis method,12th International PhD Workshop on
Systems and Control,Veszprm, (A. Magyar, ed.), 16 (on CD), 2012
[6] T. Murata: Petri Nets: Properties, Analysis and Applications, Proceedings of
the IEEE, 77, no. 4, 1989
[7] K. Jensen: Coloured Petri Nets: Basic Concepts, Analysis Methods and
Practical Use, Springer-Verlag, 1997
[8] A. Hyland, M. Rausand: System Reliability Theory: Models and Statistical
Methods, John Wiley & Sons, 2004
[9] T. A. Kletz: Hazop and Hazan, The Institution of Chemical Engineers, 2006
[10] Center for Chemical Process Safety: Guidelines for Hazard Evaluation
Procedures, John Wiley & Sons, 2008
[11] M. Gerzson: Petri hl alkalmazsa technolgiai rendszerek vizsglatra,
(egyetemi doktori rtekezs), Veszprm, 1989
[12] http://CPN Tools.org (2012. december 8.)
[13] B. Mrczi: Technolgiai rendszerek diagnosztikai vizsglata
folyamatinformcik alapjn generlt Petri hlkkal, (tudomnyos dikkri
dolgozat), Veszprm, 2011
[14] B. Mrczi, A. I. Pzna: Technolgiai rendszerek vizsglata idztett, sznezett
Petri hlk segtsgvel, X. Jedlik nyos Szakmai Napok, Veszprm, prilis 11-
13., 2013
[15] M. Gerzson, B. Mrczi, A. I. Pzna, A. Leitold: Investigation of
Manufacturing Systems Using Timed Coloured Petri Net, Factory Automation
Conference, Veszprm, Hungary, 2013
[16] A. Leitold, B. Mrczi, A. I. Pzna, M. Gerzson: Monitoring and Diagnosis of
Manufacturing Systems Using Timed Coloured Petri Net, Hungarian Journal of
Industry and Chemistry, vol. 41, no 1., pp. 17-26, 2014
[17] A. Leitold, M. Gerzson, A. I. Pzna, K. M. Hangos: On-line qualitative
model-based diagnosis of technological systems using colored Petri nets,
European Simulation and Modelling Conference, pp. 332-336, Porto, Portugal,
2014

51
VI. Mellkletek

Mellklet 1. bra: A technolgiai rendszer alacsony szint Petri hlja.

52
Mellklet 2. bra: A gyrtrendszer hibamentes mkdst ler sznezett Petri hl.

53
Mellklet 3. bra: A gyrtrendszer hibalehetsget is tartalmaz sznezett Petri hl modellje.

54
Mellklet 4. bra: A gyrtrendszer idztett, sznezett Petri hl modellje.
55
Mellklet 5. bra: A gyrtrendszer sznezett Petri hlja, ha a munkadaraboknak nincs azonostja.

56
Mellklet 6. bra: A gyrtrendszer idztett, sznezett Petri hlja, ha a munkadaraboknak nincs azonostja.

57
Mellklet 7. bra: Holtpont kialakulsa.
58
Mellklet 8. bra: A gyrtrendszer hibamentes mkdshez tartoz Petri hl elrhetsgi grfja. (3 munkadarab m2, m12, m21 cmkvel)

59
Mellklet 9. bra: Hibalehetsget is tartalmaz sznezett Petri hl elrhetsgi grfja. (3 munkadarab m2, m12, m21 cmkvel)
60
Mellklet 10. bra: Plda elrhetsgi grfra idztett esetben. (3 munkadarab m2, m12, m21 cmkvel, idztsek: atrak{1,2,3}_{kezd,vege}:@+1, gyartosor:@+5 )

61
Mellklet 11. bra: Az idztett sznezett Petri hl elrhetsgi grfja, 3 db m1 cmkj, azonostval rendelkez munkadarab gyrtsa esetn.
62
Mellklet 12. bra: Az idztett sznezett Petri hl elrhetsgi grfja, 3 db m1 cmkj, azonost nlkli munkadarab gyrtsa esetn.

63
Mellklet 13. bra: A soros rendszer elrhetsgi grfja.

64
Mellklet 14. bra: A prhuzamos rendszer elrhetsgi grfja.
65