PUBLISHED BY

World's largest Science,

Technology & Medicine
Open Access book publisher

98,000+
2,850+ INTERNATIONAL 91+ MILLION
OPEN ACCESS BOOKS AUTHORS AND EDITORS DOWNLOADS

AUTHORS AMONG
BOOKS TOP 1% 12.2%
DELIVERED TO AUTHORS AND EDITORS
MOST CITED SCIENTIST FROM TOP 500 UNIVERSITIES
151 COUNTRIES

Selection of our books indexed in the

Book Citation Index in Web of Science
Core Collection (BKCI)

Chapter from the book Petri Nets Applications

Downloaded from: http://www.intechopen.com/books/petri-nets-applications

Interested in publishing with InTechOpen?

Contact us at book.department@intechopen.com
 
   
  

 


:

#P#RRNKECVKQPQH)520HQT/QFGNKPICPF
'XCNWCVKPI.QECN#TGC%QORWVGT0GVYQTMU

0DVDKLUR7VXQR\DPD DQG+LURHL,PDL 
'HSDUWPHQWRI,QIRUPDWLRQDQG(OHFWURQLFV(QJLQHHULQJ1LLJDWD,QVWLWXWHRI7HFKQRORJ\
)XMLKDVKL.DVKLZD]DNL-$3$1
(PDLOPWXQR#LHHQLLWDFMS
8QLYHUVLW\(YDOXDWLRQ&HQWHU1LLJDWD8QLYHUVLW\
,NDUDVKL1LLJDWDVKL1LLJDWD-$3$1
(PDLOKLPDL#DGPQLLJDWDXDFMS

+PVTQFWEVKQP  

0XOWLPHGLDV\VWHPVFRQQHFWHGE\FRPSXWHUQHWZRUNVDUHZLGHO\XVHGLQDSSOLFDWLRQVVXFK
DV WHOHFRPPXQLFDWLRQV GLVWDQFHOHDUQLQJ DQG YLGHRRQGHPDQG 1HUMHV HW DO
.RUQNHYQ  /LOOHEHUJ 6KDKUDUD\ HW DO  6LQFH PXOWLPHGLD GDWD KDYH UHDO
WLPH SURSHUWLHV WKDW PXVW EHSURFHVVHG DQGGHOLYHUHG ZLWKLQ JLYHQGHDGOLQHV WKHGHPDQG
RQ VXFK V\VWHPV LV LQFUHDVLQJ $OWKXQ HW DO *LEVRQ  'DYLG  ,Q RUGHU WR
PDLQWDLQ WKH UHTXLUHG TXDOLW\ VHYHUDO V\VWHPV XVLQJ 4R6 WHFKQLTXHV KDYH EHHQ SURSRVHG
)XUJXVRQ +XVWRQ3DUN9LOODORQHWDO7KH,(((H,(((6WDQGDUG
 LV RQH RI WKHVH WHFKQLTXHV ,W SURYLGHV WZR IXQFWLRQV IRU 4R6 VXSSRUW HQKDQFHG
GLVWULEXWHG FKDQQHO DFFHVV ('&$ DQG K\EULG FRRUGLQDWLRQ IXQFWLRQ FRQWUROOHG FKDQQHO
DFFHVV+&&$+&&$XVHVFRQFHQWUDWHGFRQWURODQGJXDUDQWHHVWKHUHTXLUHGSURSDJDWLRQ
GHOD\2QWKHRWKHUKDQG('&$XVHVGLVWULEXWHGFRQWUROKDVJRRGVFDODELOLW\DQGUHTXLUHV
OHVVRYHUKHDGWKDQ+&&$EXWFDQQRWJXDUDQWHHWKHUHTXLUHGSURSDJDWLRQGHOD\,QRUGHUWR
DVVHVV WKH GHSHQGDELOLW\ RI PXOWLPHGLD V\VWHPV XVLQJ 4R6 VXFK DV WKH ,(((H
VXSSRUWLQJ ('&$ WKH SURSDJDWLRQ GHOD\ DQG LWV VWDQGDUG GHYLDWLRQ MLWWHU PXVW EH
TXDQWLWDWLYHO\ HYDOXDWHG &OD\SRRO  7DQQHU )DQ HW DO *LEVRQ  'DYLG
3DUN
6HYHUDO HYDOXDWLRQ PHWKRGV KDYH EHHQ SURSRVHG VXFK DV TXHXLQJ QHWZRUNV $KPDG HW DO
&KHQJ  :X  VWRFKDVWLF SURFHVV PRGHOV *HUPDQ 1HUMHV HW DO  DQG
VLPXODWLRQPRGHOV$GDFKLHWDO%LQHWDO*ULQQHPR %UXQVWURP+RZHYHU
WKHVH PHWKRGV KDYH VHYHUDO SUREOHPV 4XHXLQJ QHWZRUNV DQG VWRFKDVWLF SURFHVV PRGHOV DUH
DQDO\WLFDOPRGHOVZKLFKGRQRWUHTXLUHDORQJWLPHIRUFRPSXWDWLRQ+RZHYHULWLVGLIILFXOWWR
PRGHOWKHJLYHQV\VWHPVVLQFHWKHQXPEHURIVWDWHVLQDPRGHOLQFUHDVHVH[SRQHQWLDOO\DVWKH
V\VWHP LQFUHDVHV LQ VL]H SDUWLFXODUO\ ZKHQ WKH V\VWHPV DUH ODUJH DQG FRPSOH[ 7KRXJK
VLPXODWLRQ PRGHOV DUH XVHG IRU HYDOXDWLQJ V\VWHPV WKH\ UHTXLUH D ORQJ WLPH WR REWDLQ
VWDWLVWLFDO GDWD UHJDUGLQJ WKH VWDQGDUG GHYLDWLRQ MLWWHU 7KLV FKDSWHU SURSRVHV D PHWKRG IRU
HYDOXDWLQJV\VWHPV XVLQJWKH *HQHUDOL]HG6WRFKDVWLF3HWUL 1HWDQGWKHWDJJHGWDVN DSSURDFK

www.intechopen.com
 & 

%


,PDLHWDO.XPDJDLHWDO*631VDUHDQH[WHQVLRQRIWKH3HWUL1HWVWKDWFDQ EH

HDVLO\XVHGWRPRGHOWKHWLPLQJEHKDYLRURIV\VWHPV7KHWDJJHGWDVNDSSURDFKFDQUHGXFHWKH
QXPEHURIVWDWHVLQDPRGHOE\WUDFLQJWKHEHKDYLRURIDWDJJHGWDVN
$ PHWKRG IRU HYDOXDWLQJ ORFDO DUHD FRPSXWHU QHWZRUN V\VWHPV VXFK DV WKH ,(((H
:/$1 VXSSRUWLQJ ('&$ EDVHG RQ GHOD\ MLWWHU DQDO\VLV XVLQJ WKH *HQHUDOL]HG 6WRFKDVWLF
3HWUL1HW*631DQGWKHWDJJHGWDVNDSSURDFKLVIXOO\H[SODLQHG7KHV\VWHPLVPRGHOHG
XVLQJ*631ZLWKWKHWDJJHGWDVNDSSURDFKWKHQWKHVWDWHWUDQVLWLRQGLDJUDPRIWKH0DUNRY
FKDLQ LV FRQVWUXFWHG IURP WKH UHGXFHG UHDFKDELOLW\ JUDSK RI WKH *631 PRGHO 3URFHVVLQJ
SDWKVDUHH[WUDFWHGDQGWKHPHDQYDOXHDQGYDULDQFHRIWKHGHOD\WLPHDUHFDOFXODWHGXVLQJ
WKHHTXDWLRQVGHULYHGIURPWKH0DUNRYFKDLQ$QHYDOXDWLRQH[DPSOHLVDOVRJLYHQ6HFWLRQ
 H[SODLQV V\VWHP PRGHOOLQJ XVLQJ *631 ZKLOH 6HFWLRQ  SUHVHQWV WKH HYDOXDWLRQ PHWKRG
WKDWZLOOEHXVHG6HFWLRQGHVFULEHVWKHHYDOXDWLRQH[DPSOHZKLFKLVDV\VWHPEXLOWXVLQJ
,(((H :/$1 VXSSRUWLQJ ('&$ )LQDOO\ 6HFWLRQ  VXPPDUL]HV WKH UHVXOWV RI WKLV
FKDSWHU

/QFGNKPI0GVYQTM5[UVGOU7UKPI)520
)520
*631FDQEHGHILQHGDVIROORZV0DUVRQHWDO7KHVHWRIDOOQDWXUDOQXPEHUVZLOOEH
GHQRWHGDV1ZKLOHWKHVHWRIDOOUHDOQXPEHUVZLOOEHGHQRWHGDV5
>'HILQLWLRQ@
1 *631  3 7  :   :   : K  / Z  0   
3 ^S  d L d 3 Q`6HWRISODFHV
L

7 ^ `
W M  d M d 7 P 6HWRIWUDQVLWLRQV
7 7, 77  7, 77  7, LV D VHW RI LPPHGLDWH WUDQVLWLRQV 77 LV D VHW RI WLPHG
WUDQVLWLRQV
:  3 u 7 o 1 ,QSXWFRQQHFWLRQIXQFWLRQ


:   7 u 3 o 1 2XWSXWFRQQHFWLRQIXQFWLRQ
: K  3 u 7 o 1 ,QKLELWRUDUFV

/ ^O L `
 d L d 77 )LULQJUDWHV
Z  7, o 5 :HLJKWLQJIXQFWLRQRILPPHGLDWHWUDQVLWLRQV
P ,QLWLDOPDUNLQJ
,Q *631 SODFHV DUH UHSUHVHQWHG E\ FLUFOHV WLPHG WUDQVLWLRQV E\ ER[HV DQG LPPHGLDWH
WUDQVLWLRQV E\ WKLQ EDUV $Q LQKLELWRU DUF HQGV LQ D VPDOO FLUFOH $ WLPHG WUDQVLWLRQ ILUHV
DFFRUGLQJWRWKHILULQJUDWHDVVLJQHGWRWKHWUDQVLWLRQZKHQWKHILULQJFRQGLWLRQLVVDWLVILHG
)LJVKRZVDW\SLFDO*631IRU00,QWKHILJXUHSSSSDQGSDUHSODFHVW
DQG W DUH WKH WLPHG WUDQVLWLRQV W LV DQ LPPHGLDWH WUDQVLWLRQ DQG O DQG O DUH WKH ILULQJ
UDWHVIRUWUDQVLWLRQVWDQGW



www.intechopen.com
 
   
  

 '












)LJ6DPSOH*631

4GCEJCDKNKV[)TCRJCPF/CTMQX%JCKP
,Q WKH H[DPSOH QHW WKH WUDQVLWLRQ W ILUHV DIWHU WKH WLPH GHWHUPLQHG E\ WKH H[SRQHQWLDO
SUREDELOLW\GLVWULEXWLRQIXQFWLRQZLWKSDUDPHWHU O DQGWKHWRNHQVLQSODFHVSDQGSPRYH
WR SODFH S 7KH DVVLJQPHQW RI WRNHQV WR SODFHV LV FDOOHG PDUNLQJ ,Q WKLV H[DPSOH WKH
PDUNLQJFKDQJHVIURPWKHLQLWLDOPDUNLQJPWRWKHQH[WPDUNLQJPZKHQWILUHVDVVKRZQ
LQ)LJ7KHFKDQJHLQPDUNLQJVLVUHSUHVHQWHGE\(TXDWLRQ,Q(TXDWLRQ P >W ! P 
LQGLFDWHVWKDWWKHPDUNLQJPFKDQJHVWRPDIWHUWKHWUDQVLWLRQWILUHV
P  >W ! P >W  ! P  >W  ! P

P  >W ! P >W  ! P  >W ! P >W  ! P
SSSSS

P

W
W
P

W
P

W
W

 P

)LJ5HDFKDELOLW\JUDSKIRUWKHVDPSOH*631

7KHVHWRIPDUNLQJVUHDFKHGIURPPLVFDOOHGDUHDFKDELOLW\VHWDQGLVGHILQHGDVIROORZV
>'HILQLWLRQ@
7KH PLQLPXP VHW RI PDUNLQJV VDWLVI\LQJWKH IROORZLQJ FRQGLWLRQ LV FDOOHG WKH UHDFKDELOLW\
VHWRIWKHLQLWLDOPDUNLQJPDQGLVUHSUHVHQWHGE\56P

www.intechopen.com
 ( 

%


P 56 P 
P 56 P   W 7  P >W ! P    
P  56 P  
7KHFKDQJHRIPDUNLQJVLQDUHDFKDELOLW\VHWFDQEHUHSUHVHQWHGE\DJUDSK7KHJUDSKRIDOO
UHDFKDEOHPDUNLQJVIURPWKHLQLWLDOPDUNLQJLVFDOOHGWKHUHDFKDELOLW\JUDSKDQGLVGHILQHG
DVIROORZV
>'HILQLWLRQ@
$ODEHOHGGLJUDSKLVFDOOHGDUHDFKDELOLW\JUDSKDQGLVUHSUHVHQWHGE\5*PZKHQWKHVHW
RI QRGHV LQ WKH JUDSK LV 56P DQG WKH VHW RI HGJHV $ LQ WKH JUDSK LV GHILQHG E\ WKH
IROORZLQJHTXDWLRQ
$ 56 P  u 56 P  u 7
  
PL  P M  W  $ PL >W ! P M  PL  P M 56 P 

7KH *631 KDV WZR NLQGV RI PDUNLQJV WDQJLEOH DQG YDQLVKLQJ 7DQJLEOH PDUNLQJV DOORZ
WLPHG WUDQVLWLRQV WR ILUH ZKLOH YDQLVKLQJ PDUNLQJV DOORZ LPPHGLDWH WUDQVLWLRQV WR ILUH
9DQLVKLQJ PDUNLQJV FDQ EH UHGXFHG E\ HOLPLQDWLQJ WKHP IURP WKH UHDFKDELOLW\ JUDSK 7KH
UHGXFHGUHDFKDELOLW\JUDSKLVHTXLYDOHQWWRWKHVWDWHWUDQVLWLRQGLDJUDPRID0DUNRYFKDLQ
IRUWKH*631PRGHO0DUVRQHWDODQGLVVKRZQLQ)LJ


P

O
O
P
O
O

P

)LJ6WDWHGLDJUDPRIWKH0DUNRYFKDLQIRUWKHVDPSOH*631

5[UVGO/QFGN
,Q QHWZRUN V\VWHPV SURFHVVLQJ PXOWLPHGLD GDWD ZLWK 4R6 FRQWURO WDVNV DUH SURFHVVHG
DFFRUGLQJ WR WKHLU SULRULWLHV IRU VDWLVI\LQJ WKHLU 4R6 UHTXLUHPHQW 7KH IROORZLQJ V\VWHP
DVVXPSWLRQVDUHXVHIXOIRUDQDO\VLV
>$VVXPSWLRQ@
(DFKWDVNKDVDSULRULW\ZKLFKGHWHUPLQHVZKHQLWLVSURFHVVHGDQGGHOLYHUHG

www.intechopen.com
 
   
  

 )

,QQHWZRUNV\VWHPVFRQWDLQLQJPDQ\KRVWVWDVNVRFFXUUDQGRPO\DQGWKHSURFHVVLQJWLPH
IRU WDVNV PD\ EH DQ DUELWUDU\ YDOXH 7KXV WKH IROORZLQJ DVVXPSWLRQV DUH PDGH DERXW WKH
WDVNV
>$VVXPSWLRQ@
7DVNVRFFXUDFFRUGLQJWRD3RLVVRQSURFHVV
7DVNSURFHVVLQJWLPHLVGHWHUPLQHGE\WKHH[SRQHQWLDOSUREDELOLW\GLVWULEXWLRQIXQFWLRQ
7KH,(((H:/$1VXSSRUWLQJ('&$LVXVHGDVWKHH[DPSOHIRUH[SODLQLQJWKHV\VWHP
PRGHO DQG WKH HYDOXDWLRQ PHWKRG 7KH ,((( H :/$1 VXSSRUWLQJ ('&$ KDV IRXU
DFFHVVFDWHJRULHV$&V$&B92$&B9,$&B%(DQG$&B%.7KHDFFHVVFDWHJRU\$&B92
LVWKHFDWHJRU\IRUYRLFHWDVNVDQGKDVWKHKLJKHVWSULRULW\$&B9,LVWKHFDWHJRU\IRUYLGHR
DQGKDVWKHVHFRQGKLJKHVWSULRULW\$&B%(LVWKHFDWHJRU\IRUEHVWHIIRUWWDVNVDQGKDVWKH
WKLUGKLJKHVW SULRULW\ $&B%. LV WKH FDWHJRU\ IRU EDFNJURXQG WDVNV DQG KDV WKH ORZHVW
SULRULW\ 7KH *631 PRGHO IRU DQDO\]LQJ PHDQ GHOD\ DQG LWV MLWWHU IRU WKH $&B92 WDVN LV
VKRZQLQ)LJ,NHGDHWDO7VXQR\DPDHWDO7KHPRGHOLVFRQVWUXFWHGEDVHG
RQWKHWDJJHGWDVNDSSURDFKLQRUGHUWRGHFUHDVHWKHLQFUHDVHLQWKHQXPEHURIVWDWHVLQWKH
0DUNRYFKDLQ
























D 7DUJHWKRVWSDUW



www.intechopen.com
 * 

%

























E1RQWDUJHWKRVWSDUW
)LJ*6310RGHORI$&B92LQ,(((H:/$1

,Q WKLV H[DPSOH WKH PHDQ GHOD\ DQG LWV MLWWHU DUH DQDO\]HG IRU WKH $&B92 WDVN JHQHUDWHG
IURPDKRVW,QWKHDQDO\VLVWKH$&B92WDVNLVFDOOHGWKHWDJJHGWDVNDQGWKHKRVWLVFDOOHG
WKH WDUJHW KRVW )LJ D VKRZV SDUW RI WKH PRGHO DQG UHSUHVHQWV WKH EHKDYLRU RI WKH WDVNV
IURPWKHWDUJHWKRVW7KHULJKWSDUWRIWKHILJXUHUHSUHVHQWVWKHLQWHUDFWLRQEHWZHHQWKHWDVNV
RIWKHRWKHUDFFHVVFDWHJRULHVLQWKHWDUJHWKRVWDQGWKHWDVNVIURPWKHQRQWDUJHWKRVWVLQWKH
:/$1)LJEDOVRVKRZVSDUWRIWKHPRGHODQGUHSUHVHQWVWKHEHKDYLRURIWDVNVIURPWKH
QRQWDUJHWKRVWVLQWKH:/$1
:KHQ DQ $&B92 WDVN LV JHQHUDWHG LQ WKH WDUJHW KRVW WKH WUDQVLWLRQ 7BJHQBYR ILUHV DQG D
WRNHQ PRYHV IURP 3BJHQBYR WR 3BEDFNBYR $IWHU WKH EDFNRII WLPH 7BEDFNBYR ILUHV DQG WKH
WRNHQPRYHVWR3BWUDQV,IQRWDVNLVEHLQJVHQWIURPWKHQRQWDUJHWKRVWVWKHWRNHQPRYHVWR
3BWUDQVBVXFF DQG DOVR PRYHV EDFN WR 3BJHQBYR VLQFH QR FROOLVLRQ RFFXUV ,I DQRWKHU WDVN LV
EHLQJVHQWIURPWKHQRQWDUJHWKRVWVWKHWRNHQPRYHVWR3BWLPHRXWDQGPRYHVWR3BWUDQVBIDLO
DIWHUWKHWLPHGHWHUPLQHGE\WKHILULQJUDWHIRU7BWLPHRXW:KHQDWDVNZLWKDQRWKHUDFFHVV
FDWHJRU\LVJHQHUDWHGIURPWKHWDUJHWKRVWWKHWUDQVLWLRQ7BJHQBTILUHVDQGDWRNHQPRYHVWR
3BEDFNBT7KHFROOLVLRQLVH[DPLQHGE\7BIDLODQG7BWLPHRXWDVZLWK$&B92


www.intechopen.com
 
   
  

 +

'XCNWCVKQP/GVJQF
&GNKXGT[RCVJCPFKVUUGNGEVKQPRTQDCDKNKV[
7KH GHOD\ WLPH IRU WDVN SURFHVVLQJ FDQ EH REWDLQHG E\ DFFXPXODWLQJ WKH VRMRXUQ WLPH IRU
VWDWHVLQDVWDWHVHTXHQFHIURPDVWDUWVWDWHZKHUHWKHWDVNRFFXUVWRDQHQGVWDWHZKHUHWKH
WDVN KDV EHHQ SURFHVVHG DQG GHOLYHUHG VXFFHVVIXOO\ $ UHGXFHG UHDFKDELOLW\ JUDSK LV
HTXLYDOHQW WR D VWDWH GLDJUDP RI D 0DUNRY FKDLQ IRU WDVN SURFHVVLQJ 7KXV WKH GHOD\ WLPH
FDQ EH REWDLQHG IURP WKH ILULQJ UDWH RI WUDQVLWLRQV LQ WKH SDWK FRUUHVSRQGLQJ WR WKH VWDWH
VHTXHQFH$SDWKLQDUHGXFHGUHDFKDELOLW\JUDSKLVGHILQHGE\WKHIROORZLQJGHILQLWLRQ,Q
WKHGHILQLWLRQ PL D d L d E DUHPDUNLQJVDQG W M D d M d E  DUHWUDQVLWLRQV
>'HILQLWLRQ@
$VHTXHQFHRIPDUNLQJVDQGWUDQVLWLRQVPD>W!PF!W!PE@VWDUWLQJDWPDUNLQJPDDQG
HQGLQJDWPDUNLQJPEIRUDUHGXFHGUHDFKDELOLW\JUDSKLVFDOOHGDSDWKIURPPDWRPE7KH
QXPEHURISDWKVIURPPDWRPELVGHQRWHGE\1DEZKLOHWKHLWKSDWKLVGHQRWHGE\3DELL
1DE
:KHQWKHUHDUHDQXPEHURISDWKVIURPVWDUWPDUNLQJPDWRHQGPDUNLQJPEWDVNSURFHVVLQJ
LVPDGHDORQJRQHRIWKHSDWKVZLWKWKHJLYHQSUREDELOLW\7KHSUREDELOLW\RIDSDWKVHOHFWHG
LQDOOSDWKVIURPPDWRPELVFDOOHGWKHSDWKVHOHFWLRQSUREDELOLW\DQGLVGHQRWHGE\3U3DEL_
PDZKHUHL1DE
7KH SUREDELOLW\ RI WUDQVLWLRQ IURP PDUNLQJ PM WR QH[W PDUNLQJ PN LV GHWHUPLQHG E\ WKH
IROORZLQJ HTXDWLRQ ZKHUH $MLV WKH VHW RIVXEVFULSWV RIRXWJRLQJ DUFV IURP WKH PDUNLQJPM
0DUVRQHWDO
OM
3UP M o P N 
/M
/ M O
O $ M
O
   

7KH SDWK VHOHFWLRQ SUREDELOLW\ IRU SDWK 3DEL LV REWDLQHG E\ WKH SURGXFW RI WKH DERYH
SUREDELOLWLHVIRUDSDWKDQGJLYHQE\WKHIROORZLQJOHPPD.XPDJDLHWDO
>/HPPD@
F OQ
/
L  M
  
3U 3DE _ PD 
M D M


5QLQWTP6KOGHQTVJG2CVJCPF&GNC[,KVVGT
7KHVRMRXUQWLPHIRUDSDWKLVJLYHQE\WKHVXPPDWLRQRIWKHVRMRXUQWLPHIRUDOOPDUNLQJV
LQWKHSDWK7KHUHIRUHWKHSUREDELOLW\GHQVLW\IXQFWLRQRIWKHVRMRXUQWLPHIRUDSDWKFDQEH
REWDLQHGE\WKHFRQYROXWLRQRIWKHSUREDELOLW\GHQVLW\IXQFWLRQRIWKHVRMRXUQWLPHIRUHYHU\
PDUNLQJ LQ WKH SDWK 7KH SUREDELOLW\ GHQVLW\ IXQFWLRQ RI VRMRXUQ WLPH W DE  IRU SDWK 3DEL
L 

FDQEHREWDLQHGXVLQJ(TXDWLRQDQG$VVXPSWLRQ7KHUHVXOWLVJLYHQE\WKHIROORZLQJ
OHPPD.XPDJDLHWDO
>/HPPD@

E E H[S  / W 
I W W 
L   / M  E P
   
/ P  / Q 
DE M D P D

QQ z DP

www.intechopen.com
 , 

%


7KHPHDQYDOXH (W DQGWKHYDULDQFH 9W RIWKHGHOD\WLPHFDQEHREWDLQHGIURP(TXDWLRQ

7KHIROORZLQJUHVXOWVDUHSUHVHQWHGDVDWKHRUHP,NHGDHWDO.XPDJDLHWDO
>7KHRUHP@

1 DE
E
 E  /N 
D D
L 
(W 3U P  3U 3DE _ P 
D6 JHQ L  M D / M N D / M  /N
Nz M
E
 E /N
1 DE
 
9W 3UPD  3U 3DE _ PD  
L 
 (W
D6 JHQ L 
M D M NN z DM M  / N
/ /


'XCNWCVKQPRTQEGFWTG
)LJVKRZVDIORZFKDUWIRUHYDOXDWLRQ$QHWZRUNLVILUVWPRGHOHGXVLQJ*6317KH*631
PRGHOLVWKHQDQDO\]HGDQGDUHDFKDELOLW\JUDSKLVREWDLQHGXVLQJWKH3HWUL1HWWRRO7LPH
1HW*HUPDQHWDO7KHVHWRIVWDUWPDUNLQJVLVH[WUDFWHGIURPWKHUHDFKDELOLW\JUDSK
DQG WKH GHOLYHU\ SDWKV DUH VHDUFKHG 7KH GHOD\ WLPH DQG LWV MLWWHU DUH FDOFXODWHG IRU DOO
VHDUFKHGGHOLYHU\SDWKV
 6WDUW



0RGHOOLQJ:/$1XVLQJ*631




$QDO\VHWKHPRGHOXVLQJ7LPH1HW




([WUDFW6JHQDQGVHDUFKWKHGHOLYHU\SDWKV




&DOFXODWHPHDQDQGVWDQGDUGGHYLDWLRQRIWKH
 GHOD\WLPH



 (QG
)LJ)ORZFKDUWRIWKHPHWKRG

'ZCORNG
$Q H[DPSOH QHWZRUN XVLQJ ,(((H RYHU WKH ,(((D FRQVLVWLQJ RI WKUHH KRVWV LV
HYDOXDWHG7DEOHVKRZVWKHSDUDPHWHUVIRUWKHVLPXODWLRQ

www.intechopen.com
 
   
  

 -

$FFHVV $,)61 &:PLQ &:PD[ 7;23

&DWHJRULHV /LPLW
$&B%.    IUDPH
$&B%(    IUDPH
$&B9,    PV
$&B92    PV
7DEOH3DUDPHWHUVIRUWKH$&V

(DFK $& KDV IRXU SDUDPHWHUV DQG $&V DUH GLVWLQJXLVKHG E\ DVVLJQLQJ GLIIHUHQW YDOXHV WR
WKHSDUDPHWHUV7DEOHVKRZVWKHGHIDXOWYDOXHVIRUWKHSDUDPHWHUV$VPDOOHUYDOXHLPSOLHV
DKLJKHUSULRULW\,QWKHH[DPSOH$&B92LVILUVWDQDO\]HGE\DVVLJQLQJDWDJJHGWDVNDQG
WKHQ$&B9,LVDQDO\]HG
)LJV DQG  VKRZ WKH PHDQ GHOD\ DQG MLWWHU IRU $&B92 DQG $&B9, UHVSHFWLYHO\ 7KH
ILJXUHV VKRZ WKDW WKH PHDQ GHOD\ IRU $&B9, LQFUHDVHV E\ DERXW  >PV@ DQG WKH MLWWHU IRU
$&B9,LQFUHDVHVE\DERXW>PV@ZKHQWKHYLUWXDOORDGRQWKHQHWZRUNLQFUHDVHVIURP
WR   +RZHYHU ZKHQ WKH YLUWXDO ORDG LQFUHDVHV WKH PHDQ GHOD\ DQG MLWWHU IRU $&B92
GHFUHDVHE\DERXW>PV@OHVVWKDQ$&B9,,NHGDHWDO7VXQR\DPD ,PDL


)LJ0HDQGHOD\WLPHIRU$&B92DQG$&B9,


www.intechopen.com
 . 

%



)LJ-LWWHUIRU$&B92DQG$&B9,

%QPENWUKQPU
$ PHWKRG IRUPRGHOOLQJ ORFDO DUHD FRPSXWHU QHWZRUNV XVHG IRU SURFHVVLQJ DQG GHOLYHULQJ
PXOWLPHGLDGDWDLVSURSRVHG7KHSURSRVHGPHWKRGFDQHYDOXDWHWKHPHDQGHOD\WLPHDQG
LWV MLWWHU VWDQGDUG GHYLDWLRQ IRU V\VWHPV EDVHG RQ WKH *631 PRGHO DQG WDJJHG WDVN
DSSURDFK7KHV\VWHPVFDQEHPRGHOHGE\WKHPHWKRGSUHVHQWHGDQGERWKRIWKHYDOXHVFDQ
EHHYDOXDWHGHDVLO\XVLQJWKHHTXDWLRQVVKRZQLQWKLVFKDSWHU$QH[DPSOHRIPRGHOLQJDQG
HYDOXDWLQJORFDODUHDFRPSXWHUQHWZRUNVXVLQJ,(((H:/$1VXSSRUWLQJ('&$ZDV
VKRZQ )URP WKH UHVXOWV LW FDQ EH FRQFOXGHG WKDW WKH V\VWHP FDQ EH PRGHOHG HDVLO\ 7KH
PHDQGHOD\DQGMLWWHUIRU$&B92REWDLQHGXVLQJWKHSURSRVHGPHWKRGDJUHHVZHOOZLWKWKH
YDOXHVREWDLQHGXVLQJVLPXODWLRQV+RZHYHUZKHQWKHYLUWXDOORDGRIWKHQHWZRUNH[FHHGV
RQHWKHYDOXHRIWKHMLWWHUIRU$&B9,GLIIHUVVOLJKWO\IURPWKDWE\VLPXODWLRQ
)XWXUHHIIRUWVZLOOLPSURYHWKHPRGHOWRUHGXFHWKHREVHUYHGGLIIHUHQFHDQGWRFRPSRVHD
FRPSDFWPRGHOWRUHGXFHWKHQXPEHURIVWDWHVLQWKH0DUNRYFKDLQIRUWKHQHWZRUN

#EMPQYNGFIGOGPVU
7KHDXWKRUVZRXOGOLNHWRWKDQN0HVVUV.XPDJDL,NHGDDQG0DUX\DPDIRUWKHLUKHOSIXO
GLVFXVVLRQV DQG FRPPHQWV 7KH DXWKRUV ZRXOG DOVR OLNH WR WKDQN 3URIHVVRU ,VKLL DQG
3URIHVVRU0DNLQRIRUWKHLUKHOSIXOFRPPHQWV


www.intechopen.com
 
   
  

 

4GHGTGPEGU
$GDFKL 1 .DVDKDUD 6  $VDKDUD <  7DNDKDVKL <  6LPXODWLRQ 6WXG\ RQ 0XOWL
+RS -LWWHU %HKDYLRU LQ ,QWHJUDWHG $70 1HWZRUN ZLWK &$79 DQG ,QWHUQHW 7KH
7UDQVDFWLRQVRIWKH,QVWLWXWHRI(OHFWURQLFV,QIRUPDWLRQDQG&RPPXQLFDWLRQ(QJLQHHUV
9RO(%1RSS
$KPDG6$ZDQ, $KPDG%3HUIRUPDQFH0RGHOLQJRI)LQLWH&DSDFLW\4XHXHV
ZLWK &RPSOHWH %XIIHU 3DUWLWLRQLQJ 6FKHPH IRU %XUVW\ 7UDIILF 3URFHHGLQJV RI WKH
)LUVW$VLD,QWHUQDWLRQDO&RQIHUHQFHRQ0RGHOLQJ 6LPXODWLRQ$06
SS
$OWKXQ% =LPPHUPDQQ00XOWLPHGLD6WUHDPLQJ6HUYLFHV6SHFLILFDWLRQ,PSOH
PHQWDWLRQ DQG 5HWULHYDO 3URFHHGLQJV RI WKH WK $&0 6,*00 ,QWHUQDWLRQDO
:RUNVKRSRQ0XOWLPHGLD,QIRUPDWLRQ5HWULHYDOSS
%LQ 6 /DWLI $ 5DVKLG 0$  $ODP )  3URILOLQJ 'HOD\ DQG 7KURXJKSXW
&KDUDFWHULVWLFV RI ,QWHUDFWLYH 0XOWLPHGLD 7UDIILF RYHU :/$1V 8VLQJ 231(7
3URFHHGLQJVRIWKHVW,QWHUQDWLRQDO&RQIHUHQFHRQ$GYDQFHG,QIRUPDWLRQ1HWZRUNLQJDQG
$SSOLFDWLRQV:RUNVKRSV$,1$:
SS
&KHQJ 67  :X 0  3HUIRUPDQFH (YDOXDWLRQ RI $G+RF :/$1 E\ 0*
4XHXLQJ0RGHO3URFHHGLQJVRIWKH,QWHUQDWLRQDO&RQIHUHQFHRQ,QIRUPDWLRQ7HFKQRORJ\
&RGLQJDQG&RPSXWLQJ,7&&
9RO,,SS
&OD\SRRO0  7DQQHU - 7KH (IIHFW RI -LWWHU RQ WKH 3HUFHSWXDO 4XDOLW\ RI 9LGHR
$&00XOWLPHGLDSS
)DQ < +XDQJ &<  7VHQJ </  0XOWLPHGLD 6HUYLFHV LQ ,((( H :/$1
6\VWHPV 3URFHHGLQJV RI WKH  ,QWHUQDWLRQDO &RQIHUHQFH RQ :LUHOHVV
FRPPXQLFDWLRQVDQGPRELOHFRPSXWLQJSS
)HUJXVRQ 3  +XVWRQ *  4XDOLW\ RI 6HUYLFH 'HOLYHULQJ 4R6 RQ WKH ,QWHUQHW DQG LQ
&RUSRUDWH1HWZRUNV-RKQ:LOH\ 6RQV,QF
*HUPDQ 5  3HUIRUPDQFH $QDO\VLV RI &RPPXQLFDWLRQ 6\VWHPV ZLWK 1RQ0DUNRYLDQ
6WRFKDVWLF3HWUL1HWV-RKQ:LOH\ 6RQV,QF
*HUPDQ 5 .HOOLQJ & =LPPHUPDQQ $  +RPPHO *  7LPH1(7D WRRONLW IRU
HYDOXDWLQJQRQ0DUNRYLDQVWRFKDVWLF3HWULQHWV3URFHHGLQJVRIWKH6L[WK ,QWHUQDWLRQDO
:RUNVKRSRQ3HWUL1HWVDQG3HUIRUPDQFH0RGHOVSS
*LEVRQ /  'DYLG 5  6WUHDPLQJ 0XOWLPHGLD 'HOLYHU\ LQ :HE 6HUYLFHV %DVHG H
/HDUQLQJ 3ODWIRUPV 3URFHHGLQJV RI WKH ,((( ,QWHUQDWLRQDO &RQIHUHQFH RQ $GYDQFHG
/HDUQLQJ7HFKQRORJLHVSS
*ULQQHPR.- %UXQVWURP$$6LPXODWLRQ%DVHG3HUIRUPDQFH$QDO\VLVRID7&3
([WHQVLRQ IRU %HVW(IIRUW 0XOWLPHGLD $SSOLFDWLRQV 3URFHHGLQJV RI WKH WK $QQXDO
6LPXODWLRQ6\PSRVLXPSS
,((( 6WDQGDUGV %RDUG  :LUHOHVV /$1 0HGLXP $FFHVV &RQWURO 0$& DQG 3K\VLFDO
/D\HU 3+< 6SHFLILFDWLRQ 0HGLXP $FFHVV &RQWURO 0$& (QKDQFHPHQWV IRU
4XDOLW\RI6HUYLFH4R6,((('UDIWH5HY'
,NHGD1,PDL+7VXQR\DPD0 ,VKLL,$Q(YDOXDWLRQRI0HDQ'HOD\DQG-LWWHU
IRU H :/$1 3URFHHGLQJV RI WKH )RXUWK ,$67(' ,QWHUQDWLRQDO &RQIHUHQFH RQ
&RPPXQLFDWLRQ6\VWHPVDQG1HWZRUNVSS6HSW
,PDL+7VXQR\DPD0,VKLL, 0DNLQR+$Q$QDO\]LQJ0HWKRGIRU7DJJHG7
DVN0RGHO 7KH 7UDQVDFWLRQV RI WKH ,QVWLWXWH RI (OHFWURQLFV ,QIRUPDWLRQ DQG
&RPPXQLFDWLRQ(QJLQHHUV',9RO-'1RSS

www.intechopen.com
 & 

%


,PDL+7VXQR\DPD0,VKLL, 0DNLQR+0RGHOLQJDQG(YDOXDWLQJ&RPSXWHU

6\VWHPV IRU 0XOWLPHGLD 'DWD 3URFHVVLQJ 3URFHHGLQJV RI WKH (LJKWHHQWK ,$67('
,QWHUQDWLRQDO&RQIHUHQFHRQ0RGHOLQJ,GHQWLILFDWLRQDQG&RQWUROSS
.RUQNHYQ6 /LOOHEHUJ1(QKDQFLQJVXSSRUWDQGOHDUQLQJVHUYLFHVIRULQVWUXFWRUV
DQG VWXGHQWV ZKR HQJDJH LQ FRXUVHUHODWHG PXOWLPHGLD DQG ZHE SURMHFWV
3URFHHGLQJVRIWKHWKDQQXDO$&06,*8&&6&RQIHUHQFHRQ8VHUVHUYLFHVSS
.XPDJDL . 7VXQR\DPD 0 ,PDL +  ,VKLL ,  $Q HYDOXDWLRQ 0HWKRG IRU
1HWZRUN 6\VWHPV EDVHG RQ 'HOD\ -LWWHU $QDO\VLV 3URFHHGLQJV RI WKH WK
(85$6,3 &RQIHUHQFH IRFXVHG RQ 9LGHR,PDJH 3URFHVVLQJ DQG 0XOWLPHGLD
&RPPXQLFDWLRQVSS
0DUVRQ 0$ %DOYR * &RQWH * 'RQDWHOOL 6  )UDQFHVFKLQLV *  0RGHOLQJZLWK
*HQHUDOL]HG6WRFKDVWLF3HWUL1HWV-RKQ:LOH\ 6RQV,QF
1HUMHV * 0XWK 3  :HLNXP * 6WRFKDVWLF 3HUIRUPDQFH *XDUDQWHHV IRU 0L[HG
:RUNORDGVLQD0XOWLPHGLD,QIRUPDWLRQ6\VWHP3URFHHGLQJVRIWKHWK ,QWHUQDWLRQDO
:RUNVKRSRQ5HVHDUFK,VVXHVLQ'DWD(QJLQHHULQJ5,'(
SS
3DUN 6  'LII6HUY 4XDOLW\ RI 6HUYLFH 6XSSRUW IRU 0XOWLPHGLD $SSOLFDWLRQV LQ
%URDGEDQG $FFHVV 1HWZRUNV 3URFHHGLQJV RI WKH  ,QWHUQDWLRQDO &RQIHUHQFH RQ
+\EULG,QIRUPDWLRQ7HFKQRORJ\9ROSS
6KDKUDUD\%0D:<=DNKRU$ %DEDJXFKL10RELOH0XOWLPHGLD6HUYLFHV
,QWHUQDWLRQDO:RUOG:LGH:HE&RQIHUHQFHSS
7VXQR\DPD 0  ,PDL +  $Q (YDOXDWLRQ 0HWKRG IRU 'HOD\ 7LPH DQG ,WV -LWWHU RI
:/$1 XVLQJ*631 0RGHO 3URFHHGLQJVRIWKHWK,QWHUQDWLRQDO:RUNVKRSRQ:LUHOHVV
/RFDO1HWZRUNV:/1SS
9LOODORQ-0LFR)&XHQFD3 %DUERVD/24R66XSSRUWIRU7LPH&RQVWUDLQHG
0XOWLPHGLD &RPPXQLFDWLRQV LQ ,(((  :/$1V 3URFHHGLQJV RI WKH $ 3HUIRU
PDQFH (YDOXDWLRQ 6\VWHPV &RPPXQLFDWLRQV ,&:
 ,&+61
 ,&0&6

6(1(7
SS

www.intechopen.com
 Petri Nets Applications
Edited by Pawel Pawlewski

ISBN 978-953-307-047-6
Hard cover, 752 pages
Publisher InTech
Published online 01, February, 2010
Published in print edition February, 2010

Petri Nets are graphical and mathematical tool used in many different science domains. Their characteristic
features are the intuitive graphical modeling language and advanced formal analysis method. The
concurrence of performed actions is the natural phenomenon due to which Petri Nets are perceived as
mathematical tool for modeling concurrent systems. The nets whose model was extended with the time model
can be applied in modeling real-time systems. Petri Nets were introduced in the doctoral dissertation by K.A.
Petri, titled Kommunikation mit Automaten and published in 1962 by University of Bonn. During more than
40 years of development of this theory, many different classes were formed and the scope of applications was
extended. Depending on particular needs, the net definition was changed and adjusted to the considered
problem. The unusual flexibility of this theory makes it possible to introduce all these modifications. Owing to
varied currently known net classes, it is relatively easy to find a proper class for the specific application. The
present monograph shows the whole spectrum of Petri Nets applications, from classic applications (to which
the theory is specially dedicated) like computer science and control systems, through fault diagnosis,
manufacturing, power systems, traffic systems, transport and down to Web applications. At the same time, the
publication describes the diversity of investigations performed with use of Petri Nets in science centers all over
the world.

How to reference
In order to correctly reference this scholarly work, feel free to copy and paste the following:

Masahiro Tsunoyama and Hiroei Imai (2010). An Application of GSPN for Modeling and Evaluating Local Area
Computer Networks, Petri Nets Applications, Pawel Pawlewski (Ed.), ISBN: 978-953-307-047-6, InTech,
Available from: http://www.intechopen.com/books/petri-nets-applications/an-application-of-gspn-for-modeling-
and-evaluating-local-area-computer-networks

InTech Europe InTech China

University Campus STeP Ri Unit 405, Office Block, Hotel Equatorial Shanghai
Slavka Krautzeka 83/A No.65, Yan An Road (West), Shanghai, 200040, China
51000 Rijeka, Croatia
Phone: +385 (51) 770 447 Phone: +86-21-62489820
Fax: +385 (51) 686 166 Fax: +86-21-62489821
www.intechopen.com