• No results found

GPensim: a new petri net simulator

N/A
N/A
Protected

Academic year: 2022

Share "GPensim: a new petri net simulator"

Copied!
14
0
0

Laster.... (Se fulltekst nå)

Fulltekst

(1)

:

)2GP5+/#0GY2GVTK0GV5KOWNCVQT

5HJJLH'DYLGUDMXK

8QLYHUVLW\RI6WDYDQJHU 1RUZD\

+PVTQFWEVKQP

3HWULQHWLVEHLQJZLGHO\DFFHSWHGE\WKHUHVHDUFKFRPPXQLW\IRUPRGHOLQJDQGVLPXODWLRQ RI GLVFUHWH HYHQWGULYHQ V\VWHPV PDLQO\ GXH WR 3HWUL QHW·V ULJRURXV PRGHOLQJ WHFKQLTXHV 7KHUHDUHDQXPEHURI3HWULQHWWRROVDYDLODEOHIRUIUHHDFDGHPLFXVHVHH31:RUOGIRU DOLVWRIWRROV7KHVHWRROVDUHDGYDQFHGWRROVIOH[LEOHHQRXJKWRPRGHOFRPSOH[DQGODUJH V\VWHPV 7KLV SDSHU WDONV DERXW GHYHORSLQJ D QHZ 3HWUL QHW VLPXODWRU 7KH UHDVRQV IRU EXLOGLQJDQHZVLPXODWRUDUH

x )OH[LEOHWKHVLPXODWRUVKRXOGHQDEOHHDV\LQWHJUDWLRQZLWKRWKHUOLEUDULHVDQGWRROVVR WKDW GHYHORSLQJ K\EULG PRGHOV HJ )X]]\ 3HWUL QHWV E\ LQWHJUDWLQJ 3HWUL QHW ZLWK )X]]\/RJLFEHFRPHVHDV\

x ([WHQVLEOH WKH VLPXODWRU VKRXOG HQDEOH XVHUV ZULWLQJ WKHLU RZQ H[WHQVLRQV HLWKHU H[WHQGLQJRUUHZULWLQJWKHH[LVWLQJIXQFWLRQVRUGHYHORSLQJQHZIXQFWLRQV

x (DV\RIXVHIRUWKRVHZKRGRHVQ·WZDQWWRXVHPDWKHPDWLFVZKHQGHYHORSLQJDPRGHO WKH WRRO VKRXOG SURYLGH D QDWXUDO ODQJXDJH XVHU LQWHUIDFH VR WKDW WKH PDWKHPDWLFDO GHWDLOVDUHDEVWUDFWHGDZD\IURPWKHXVHU

*HQHUDOSXUSRVH3HWULQHWVLPXODWRU*3HQ6,0LVGHYHORSHGE\WKHILUVWDXWKRURIWKLV SDSHULQRUGHUWRVDWLVI\WKHWKUHHFULWHULDVWDWHGDERYHIOH[LEOHH[WHQVLEOHDQGHDVHRIXVH

*3HQ6,0 LV UHDOL]HG DV WRROER[ IRU WKH 0$7/$% SODWIRUP VR WKDW GLYHUVH WRROER[HV WKDW DYDLODEOHLQWKH0$7/$%HQYLURQPHQWHJ)X]]\/RJLF7RROER[&RQWURO6\VWHPV7RROER[

FDQEHXVHGLQWKHPRGHOVWKDWDUHGHYHORSHGZLWK*3HQ6,0

'ZKUVKPI6QQNUHQT&KUETGVG'XGPV5KOWNCVKQP

0DQ\ WRROV VDWLVI\ VRPH RI WKH WKUHH FULWHULD PHQWLRQHG DERYH $XWRPDWD 6WDWHIORZ DQG 3HWULQHWVDUHWKHZHOONQRZQWRROVXVHGIRUVLPXODWLRQRIGLVFUHWHHYHQWV\VWHPV7KRXJK DXWRPDWDKDYHDVWURQJIRRWLQJLQFRPSXWHUVFLHQFHWKHVHULRXVVKRUWFRPLQJZLWKLWLVWKH ODFNRIVWUXFWXUH²WKHDELOLW\WRPRGXODUL]HDV\VWHPGHFRPSRVHDV\VWHPLQWRPRGXOHV>@

6WDWHIORZLVFRPPHUFLDOVRIWZDUHWKDWUXQVLQ0$7/$%HQYLURQPHQW>@6WDWHIORZLVVLPLODU WR3HWULQHWFRQYHUWLQJD3HWULQHWPRGHORIDGLVFUHWHHYHQWV\VWHPLQWRD6WDWHIORZPRGHO DQG YLFH YHUVD LV HDV\ +RZHYHU OHDUQLQJ 6WDWHIORZ ZLWK LWV V\QWDFWLF VHPDQWLF DQG JUDSKLFDOGHWDLOVLVPXFKPRUHGLIILFXOWWKDQOHDUQLQJ3HWULQHW,QDGGLWLRQ6WDWHIORZDOVR GHPDQGVVRPHNQRZOHGJHRI6LPXOLQNLQDGGLWLRQWR0$7/$%

(2)

3HWUL QHW LV EHLQJ ZLGHO\ DFFHSWHG IRU PRGHOLQJ DQG VLPXODWLRQ RI GLVFUHWH HYHQW V\VWHPV DQG WKHUH LV D QXPEHU RI 3HWUL QHW WRROV DYDLODEOH IUHHRIFKDUJH IRU DFDGHPLF XVDJH 31:RUOG7KHVHWRROVDUHVRSKLVWLFDWHGWRROVIOH[LEOHHQRXJKWRPRGHOFRPSOH[DQG ODUJH V\VWHPV +RZHYHU WKHVH WRROV DUH VWDQGDORQH V\VWHPV DQG IRU LQWHJUDWLQJ WKH IXQFWLRQVRIWKHVHWRROVZLWKRWKHUWRROVRUOLEUDULHVRQHQHHGWRSURJUDPLQHLWKHUKLJKOHYHO ODQJXDJHVOLNH-DYDRU&RUXVH;0/DVDQLQWHUPHGLDU\7KXVVHDPOHVVLQWHJUDWLRQRI WKHVH3HWULQHWWRROVZLWKRWKHUW\SHVRIWRROVHJ&RQWURO6\VWHPVLVQRWSRVVLEOH

*3HQ6,0 ZULWWHQ LQ 0$7/$% ODQJXDJH DOORZV VHDPOHVV LQWHJUDWLRQ ZLWK WKH RWKHU WRROER[HV WKDW DOVR DYDLODEOH LQ WKH 0$7/$% HQYLURQPHQW 3URJUDPPLQJ LQ 0$7/$%

/DQJXDJHLVDOVRH[WUHPHO\HDV\DVWKHODQJXDJHUHVHPEOHVWKH%$6,&ODQJXDJH

#TEJKVGEVWTGQH)2GP5+/

*3HQ6,0 LV GHVLJQHG XVLQJ WKH ZHOOSURYHQ SDUDGLJPV LQ VRIWZDUH HQJLQHHULQJ VXFK DV OD\HUHGDUFKLWHFWXUHPRGXODUFRPSRQHQWVDQGQDWXUDOODQJXDJHLQWHUIDFH

.C[GTGFCTEJKVGEVWTG

)LJOD\HUDUFKLWHFWXUH

*3HQ6,0LVEXLOWIROORZLQJOD\HUDUFKLWHFWXUHVHHILJXUH7KHERWWRPOD\HUGHDOVZLWK 3HWUL QHW UXQWLPH G\QDPLFV WKLV OD\HU FRPSXWHV QHZHU VWDWHV ZLWK WKH KHOS RI OLQHDU DOJHEUDLF HTXDWLRQV DQG PDWUL[ PDQLSXODWLRQV 7KH PLGGOH OD\HU DGGV PRUH KLJKOHYHO IXQFWLRQDOLW\VXFKDVVWRFKDVWLFWLPLQJFRORULQJRIWRNHQVXVHUGHILQHGFRQGLWLRQV¶JXDUG FRQGLWLRQV·LQVRPHOLWHUDWXUHHWF7KHWRSOD\HURIIHUVDSSOLFDWLRQVVXFKEXLOGLQJD3HWULQHW EDVHG PRGHO UXQQLQJ VLPXODWLRQV GHWHUPLQLQJ FRYHUDELOLW\ WUHH SULQWLQJ WKH VLPXODWLRQ UHVXOWVHWF

/LQHDU$OJHEUDLF/D\HU 3UHVHQWDWLRQ/D\HU

$SSOLFDWLRQ/D\HU

0DWUL[FRPSXWDWLRQV

6WRFKDVWLF WLPLQJ FRORULQJ RI

WRNHQVXVHUGHILQHGFRQGLWLRQV

0RGHOEXLOGLQJVLPXODWLRQUXQV

SULQWLQJUHVXOWV

(3)

/QFWNCTEQORQPGPVU

$PRGHORIDGLVFUHWHHYHQWV\VWHPGHYHORSHGZLWK*3HQ6,0FRQVLVWVRIDQXPEHURIILOHV 7KHPDLQVLPXODWLRQILOH06)LVWKHILOHWKDWZLOOEHUXQGLUHFWO\E\WKH0$7/$%SODWIRUP ,QDGGLWLRQWRWKHPDLQVLPXODWLRQILOHWKHUHZLOOEHRQHRUPRUH3HWULQHWGHILQLWLRQILOHV 3')VGHILQLWLRQRID3HWULQHWJUDSKVWDWLFGHWDLOVLVJLYHQLQWKH3HWULQHW'HILQLWLRQ)LOH 7KHUHPD\EHDQXPEHURI3')VLIWKH3HWULQHWPRGHOLVGLYLGHGLQWRPDQ\PRGXOHVDQG HDFKPRGXOHLVGHILQHGLQDVHSDUDWH3'):KLOHWKH3HWULQHWGHILQLWLRQILOHKDVWKHVWDWLF GHWDLOVWKHPDLQVLPXODWLRQILOHFRQWDLQVWKHG\QDPLFLQIRUPDWLRQVXFKDVLQLWLDOWRNHQVLQ SODFHVILULQJWLPHVRIWUDQVLWLRQVRIWKH3HWULQHW,QDGGLWLRQWRWKHVHILOHVPDLQVLPXODWLRQ ILOHDQG3HWULQHWGHILQLWLRQILOHVWKHUHFDQEHDQXPEHURIWUDQVLWLRQGHILQLWLRQILOHV7')V WRR

)LJ7KHDUFKLWHFWXUHRI*3HQ6,0

$ WUDQVLWLRQ GHILQLWLRQ ILOH FRQVLVWV RI DGGLWLRQDO FRQGLWLRQV WKDW GHWHUPLQH ZKHWKHU DQ HQDEOHG WUDQVLWLRQ FDQ ILUH RU QRW 7KH DGGLWLRQDO FRQGLWLRQV DUH FDOOHG ¶XVHU GHILQHG FRQGLWLRQ·LQ*3HQ6,0WHUPLQRORJ\ZKHUHDVLQVRPHRWKHUOLWHUDWXUHHJ&RORUHG3HWUL1HW

&31LWLVUHIHUUHGWRDV¶JXDUGIXQFWLRQV·7KHUHFDQEHDVHSDUDWHWUDQVLWLRQGHILQLWLRQILOH IRUHDFKWUDQVLWLRQLQD3HWULQHWPRGHO

0DLQ

6LPXODWLRQ 06))LOH

3HWUL1HW

'HILQLWLRQ )LOHV 3')V

7UDQVLWLRQ

'HILQLWLRQ )LOHV 7')V 2SWLRQDO

0$7/$%7RROER[HVVXFKDV

)X]]\&RQWURO6\VWHPV2SWLPL]DWLRQ6WDWLVWLFVHWF

*3HQ6,0

0RGXOHV1HW8WLOLWLHV7LPHU6LPXODWRU$QDO\VLV'LVSOD\

0$7/$%(QJLQH

(4)

0CVWTCNNCPIWCIGKPVGTHCEG

8VHUVQHHGQRWNQRZ3HWULQHWPDWKHPDWLFVZKHQFUHDWLQJD3HWULQHWPRGHORIDGLVFUHWH HYHQW V\VWHP *3HQ6,0 RIIHUV D QDWXUDO ODQJXDJH LQWHUIDFH ZLWK ZKLFK PRGHO EXLOGLQJ PDLQO\ GHDOV ZLWK LGHQWLI\LQJ WKH EDVLF HOHPHQWV RI D V\VWHP DQG HVWDEOLVKLQJ WKH FRQQHFWLRQVEHWZHHQWKHVHHOHPHQWV)LJXUHVKRZVWKHRYHUDOODUFKLWHFWXUHRI*3HQ6,0

)LJ2IIOLQHJUDSKLFDOGLVSOD\RIVLPXODWLRQUHVXOWV

1HHNKPGITCRJKECNFKURNC[

$IWHUVLPXODWLRQUXQVWKHVLPXODWLRQUHVXOWVFDQEHXVHGIRUSULQWLQJUHVXOWVERWKLQ$6&,, DQGLQJUDSKLFIRUPDW7KHUHVXOWVFDQEHDOVRXVHGIRURIIOLQHQRQLQWHUDFWLYHJUDSKLFDO GLVSOD\ RI VWHSE\VWHS VLPXODWLRQ UXQ WR GR WKH RIIOLQH GLVSOD\ ZH QHHG DQ H[WHUQDO SURJUDPZULWWHQLQKLJKOHYHOODQJXDJHOLNH-DYDRU&$WSUHVHQWDQH[WHUQDO-DYDEDVHG SURJUDP LV XQGHU FRQVWUXFWLRQ +RZHYHU VWHSE\VWHS RQOLQH LQWHUDFWLYH PRQLWRULQJ RI VLPXODWLRQUXQLQSURJUHVVLVQHLWKHUDYDLODEOHDWSUHVHQWQRUSODQQHGIRUFRQVWUXFWLRQLQWKH QHDUIXWXUH

,QSXW 6LPXODWLRQUHVXOWV

([WHUQDO-DYD SURJUDP

2XWSXW2IIOLQHJUDSKLFDOGLVSOD\RIVLPXODWLRQUHVXOWV

(5)

6JGOCKPNQQR

)LJ7KHPDLQORRSRIWKHVLPXODWLRQUXQV

)LJXUHVKRZVWKHPDLQORRSRIWKHVLPXODWRU$VLQDQ\3HWULQHWVLPXODWRUWKHPDLQORRS FRQVLVWVRIDVLPSOHF\FOHWKDWILUVWFKHFNVZKHWKHUDQ\WUDQVLWLRQVDUHHQDEOHGDQGWKHQLW

67$57

6LPXODWLRQV

&RPSOHWH"

3DFNVLPXODWLRQ UHVXOWV

<(6

JHWFXUUHQWO\ (1' HQDEOHG WUDQVLWLRQV

12

$Q\(QDEOHG 7UDQVLWLRQ"

UHFRUGILULQJ WUDQVLWLRQV VWDUWBILULQJ

<(6

(PSW\(,3"

12

FRPSOHWHBILULQJ 12 6WRFKDVWLF

V\VWHP"

VWRFKDVWLFB WLPHUB DGYDQFHPHQW

VWDUWBILULQJSXVKHVDILULQJ WUDQVLWLRQLQWR(,3TXHXH

VRUWHGLQLQFUHDVLQJ FRPSOWLRQWLPH

FRPSOHWHBILULQJSRSVDILULQJ WUDQVLWLRQIURP(,3TXHXH WKHILULQJWUDQVLWLRQZLWKOHDVW FRPSOHWLRQWLPH± WRSRI(,3

<(6

<(6 ZDV(PSW\

(,3"

12 JOREDOB

WLPHUB DGYDQFHPHQW

,QFUHDVHVJOREDOWLPHUYDOXH E\´JLOOHVSL¶VDOJRULWKP´HWF

,QFUHDVHVJOREDOWLPHUYDOXH E\DIL[HGSHUFHQWDJHRIWKH PLQLPDOILULQJWLPHRIDQ\

WUDQVLWLRQ

(6)

SXWV WKH HQDEOHG WUDQVLWLRQV LQWR WKH ILULQJ TXHXH SURYLGHG WKDW WKH WUDQVLWLRQV VDWLVI\

DGGLWLRQDOXVHUGHILQHGFRQGLWLRQVLIDQ\LQSXWVWRNHQVDUHDOVRWDNHQDZD\FRQVXPHGE\

WKH FRUUHVSRQGLQJ WUDQVLWLRQV 7KHQ WKH ORRS FKHFNV ZKHWKHU DQ\ ILULQJ WUDQVLWLRQV DUH FRPSOHWLQJRUKDYHFRPSOHWHG,QWKLVFDVHWKHILULQJWUDQVLWLRQVDUHSRSSHGRXWRIWKHILULQJ TXHXHDQGRXWSXWWRNHQVDUHGHSRVLWHGLQWRWKHUHVSHFWLYHRXWSXWSODFHV

)LJXUHDOVRVKRZVWKDWWKHUHDUHWZRNLQGVRIWLPHUV DUHLQ XVH7KH ILUVWWLPHU²FDOOHG JOREDOWLPHULVWKHRQHWKDWLVQRUPDOO\XVHG7KHVHFRQGWLPHUFDOOHGVWRFKDVWLFWLPHULVXVHG RQO\ IRU ¶VWRFKDVWLF V\VWHPV· 6WRFKDVWLF V\VWHPV FDQ EH OHLVXUHO\ GHILQHG DV FRQWLQXRXV V\VWHPVDVRSSRVHGGLVFUHWHV\VWHPVWKDWDUHWREHGLVFUHWL]HGILUVWLQWRGLVFUHWHV\VWHPVVR WKDWD3HWULQHWPRGHOFDQEHFUHDWHGIRUWKHP$FDVHVWXG\RQVWRFKDVWLFV\VWHPLVGRQHLQ VHFWLRQ

)LQDOO\WKHPDLQORRSVKRZQLQILJXUHKLQWVDQH[WHQVLRQWR*3HQ6,0E\XVLQJD5HDO 7LPHU FRPSXWHU·V UHDOWLPH FORFN LQVWHDG RI VWRFKDVWLF RU JOREDO WLPHU D 5HDO7LPH

*3HQ6,0 YHUVLRQ FDQ EH GHYHORSHG 7KLV 5HDO7LPH *3HQ6,0 LV EDVLFDOO\ D VRIW 3URJUDPPDEOH/RJLF&RQWUROOHU3/&ZKLFKZLOOXVHD'LJLWDO $QDORJXH,QSXW2XWSXW

&DUG '$& WR UHDG VHQVRU LQSXWV IURP WKH RXWVLGH ZRUOG DQG ZLOO DOVR RXWSXW GLJLWDO VLJQDOV WR WULJJHUV YLD WKH FDUG ,Q WKLV UHDOWLPH YHUVLRQ WKH PDLQ ORRS VKRXOG UHDG WKH VHQVRUGDWDDWWKHVWDUWRIHDFKF\FOHDQGWKHVWDWHRIWKHILULQJWUDQVLWLRQVVKRXOGEHPDSSHG WRWKHRXWSXWWULJJHUV

/GVJQFQNQI[HQT/QFGNNKPICPF5KOWNCVKQPYKVJ)2GP5+/

&UHDWLQJD3HWULQHWPRGHOFRQVLVWVRIWZRVWHSV 'HILQLQJWKHVWDWLF3HWULQHWJUDSKDQG

$VVLJQLQJLQLWLDOG\QDPLFVLQWKHPDLQVLPXODWLRQILOH

6WHS 'HILQLQJWKH3HWULQHWJUDSKLQRQHRUPRUH3HWULQHW'HILQLWLRQ)LOHV3')WKLVLV WKHVWDWLFSDUW7KLVVWHSFRQVLVWRIWKUHHVXEVWHSV

D ,GHQWLI\LQJWKHEDVLFHOHPHQWVRID3HWULQHWJUDSKWKHSODFHV

E ,GHQWLI\LQJWKHEDVLFHOHPHQWVRID3HWULQHWJUDSKWKHWUDQVLWLRQVDQG F &RQQHFWLQJWKHHOHPHQWVZLWKDUFV

6WHS $VVLJQLQJWKHG\QDPLFVRID3HWULQHWLQWKH0DLQ6LPXODWLRQ)LOH06) D 7KHLQLWLDOPDUNLQJVRQWKHSODFHVDQGSRVVLEO\

E 7KHILULQJWLPHVRIWKHWUDQVLWLRQV

$IWHUFUHDWLQJD3HWULQHWPRGHOVLPXODWLRQVFDQEHGRQH

(7)

#RRNKECVKQP'ZCORNG

*3HQ6,0 KDV EHHQ XVHG IRU PRGHOLQJ GLIIHUHQW W\SHV RI GLVFUHWH HYHQW V\VWHP HJ 'DYLGUDMXKSUHVHQWVPRGHORIDQDGDSWLYHVXSSO\FKDLQ'DYLGUDMXKSUHVHQWVD VLPXODWLRQVWXG\RID%OXHWRRWK:LUHOHVVWHFKQRORJ\EDVHGFODVVURRPWRRO

7KLVDSSOLFDWLRQH[DPSOHGHDOVZLWKGLVFUHWL]LQJRIFRQWLQXRXVV\VWHPV*HQHUDOO\3HWULQHW LVIRUGLVFUHWHHYHQWVLPXODWLRQVRQO\+RZHYHULIDFRQWLQXRXVV\VWHPFDQEHGLVFUHWL]HG WKHQ WKLV V\VWHP FRXOG DOVR EH PRGHOHG ZLWK 3HWUL QHWV +RZHYHU GLVFUHWL]LQJ RI D FRQWLQXRXV V\VWHP LV QRW HDV\ DQG QHHGV VRPH XQGHUVWDQGLQJ RI 3HWUL QHW IRUPDOLVP DQG PDWUL[UHSUHVHQWDWLRQLQWHUHVWUHDGHULVUHIHUUHGWR:LONLQVRQ

7KH DSSOLFDWLRQ H[DPSOH LV D SUH\SUHGDWRU HJ UDEELWIR[ HFRORJLFDO HTXLOLEULXP 7KH HTXLOLEULXP LV VWDWHG E\ VLPSOH GLIIHUHQWLDO HTXDWLRQV NQRZQ DV /RWND 9ROWHUUD HTXDWLRQ

x 7KHVSHFLPHQSUH\HJUDEELWUPXWDWHVE\LWVHOIDQGGHSOHWHGE\SUHGDWRUVHJ IR[HVI

x 7KHVSHFLPHQSUHGDWRUHJIR[JURZVGXHWRUDEELWVDFFHVVWRIRRGDQGGHSOHWHG E\LWVRZQSRSXODWLRQFRPSHWLWLRQIRUIRRG

x

D E J

DQG

G

DUHSDUDPHWHUVUHSUHVHQWLQJWKHLQWHUDFWLRQRIWKHWZRVSHFLHV 7KHHTXLOLEULXPLVGHWHUPLQHGE\SDUWLDOGLIIHUHQWLDOHTXDWLRQVHTXLYDOHQW3HWULQHWPRGHO IRUWKHLQWHUDFWLRQLVJLYHQLQILJXUH

U U I

GW

GU D ˜ E ˜ ˜

I U I

GW

GI J ˜ G ˜ ˜

(8)

)LJ3HWULQHWPRGHORI3UH3UHGDWRULQWHUDFWLRQ

%TGCVKPIVJGOQFGN

3HWUL QHW GHILQLWLRQ ILOH 3') WKDW GHILQHV WKH VWDWLF 3HWUL QHW JUDSK RI ILJXUH LV JLYHQ EHORZ

IXQFWLRQ3HWUL1HW'HILQLWLRQ)LOH3') ILOHQDPHSUHGDWRUBSUH\BGHIP

IXQFWLRQ>31BQDPHVHWBRIBSODFHVVHWBRIBWUDQVVHWBRIBDUFV@

SUHGDWRUBSUH\BGHIJOREDOBLQIR 31BQDPH SUHGDWRUSUH\S

VHWBRIBSODFHV ^3UH\3UHGDWRU'803`

VHWBRIBWUDQV ^WWW`

VHWBRIBDUFV ^3UH\WW3UH\

3UH\W3UHGDWRUWW3UHGDWRU 3UHGDWRUWW'803`

7KHPDLQVLPXODWLRQILOH06)LVJLYHEHORZ06)ILUVWLGHQWLILHVWKH3')DQGWKHQDVVLJQV WKHLQLWLDOG\QDPLFV7KHQLWUXQVWKHVLPXODWLRQVXVLQJWKHIXQFWLRQ¶JSHQVLP·)LQDOO\WKH VLPXODWLRQUHVXOWVDUHSULQWHG

(9)

IXQFWLRQ0$,16,08/$7,21),/(06) ILOHQDPHSUHGDWRUBSUH\P

JOREDOBLQIR0$;B/223 PDQ\VLPXODWLRQUXQV JOREDOBLQIRF >@

JOREDOBLQIR672&+$67,& VWRFKDVWLFWLPHU SQ SHWULQHWJUDSKSUHGDWRUBSUH\BGHI

G\QDPLFSDUWLQLWLDOBPDUNLQJV ^3UH\3UHGDWRU`

VLP JSHQVLPSQG\QDPLFSDUWJOREDOBLQIR 0 SORWSSQVLP^3UH\3UHGDWRU`ILJXUHD SORW0>00@ILJXUHE

6WRFKDVWLF WLPHU 'XH WR GLVFUHWL]DWLRQ WKH VLPXODWLRQV VKRXOG XVH VWRFKDVWLF FORFN UDWKHUWKDQWKHLQEXLOWJOREDOWLPHU:LONLQVRQ7KHUHDOL]DWLRQRI*LOHVSLDOJRULWKP

*LOHVSLIRUDGYDQFLQJVWRFKDVWLFWLPHULVJLYHQEHORZ IXQFWLRQUHDOL]DWLRQRI*LOHVSL·VDOJRULWKP

ILOHQDPHWLPHBDGYDQFHPHQWP

IXQFWLRQ>SQJOREDOBLQIR@ WLPHBDGYDQFHPHQWSQJOREDOBLQIR F JOREDOBLQIRFF JOREDOBLQIRFF JOREDOBLQIRF 3UH\ JHWBSODFHSQ3UH\

35(' JHWBSODFHSQ3UHGDWRU K F3UH\WRNHQV

K F3UH\WRNHQV35('WRNHQV K F35('WRNHQV

+ KKK SUREDELOLWLHV JOREDOBLQIRSUR K+

JOREDOBLQIRSUR K+

JOREDOBLQIRSUR K+

GHOWDB7 H[S+

SQFXUUHQWBWLPH SQFXUUHQWBWLPHGHOWDB7

)LQDOO\7UDQVLWLRQ'HILQLWLRQ)LOH7')IRUWKHWUDQVLWLRQWLVJLYHQEHORZ7')VIRUWKH WUDQVLWLRQVWDQGWDUHVLPLODU

(10)

IXQFWLRQ7UDQVLWLRQ'HILQLWLRQ)LOH7')IRUWUDQVLWLRQW ILOHQDPHWBGHIP

IXQFWLRQ>ILUHQHZBFRORURYHUULGHVHOHFWHGBWRNHQVJOREDOBLQIR@

WBGHISQQHZBFRORURYHUULGHVHOHFWHGBWRNHQVJOREDOBLQIR F JOREDOBLQIRFF JOREDOBLQIRFF JOREDOBLQIRF 3UH\ JHWBSODFHSQ3UH\

35(' JHWBSODFHSQ3UHGDWRU K F3UH\WRNHQV

K F3UH\WRNHQV35('WRNHQV K F35('WRNHQV+ KKK SUREDELOLWLHV

SUR K+SUR K+SUR K+

5 UDQG

ILUH 5 SUR

5KOWNCVKQPTGUWNVU

)LJXUH D VKRZV YDULDWLRQ RI SUH\ DQG SUHGDWRU SRSXODWLRQ ZLWK WLPH )LJXUH E VKRZV KRZ WKH SUH\ SRSXODWLRQ YDULHV DJDLQVW WKH SUHGDWRU SRSXODWLRQ SUH\SUHGDWRU HTXLOLEULXP

(11)

)LJ6LPXODWLRQUHVXOWV

6KOG

;

;

;

;

;

D&RPSRVLWLRQRIVSHFLPHQV3UH\3UHGDWRUZLWKWLPH

E3UH\3UHGDWRUHTXLOLEULXP

(12)

%QPENWUKQP

7KLV FKDSWHU SUHVHQWV D QHZ 3HWUL QHW VLPXODWRU FDOOHG *HQHUDO 3XUSRVH 3HWUL 1HW VLPXODWRU*3HQ6,0IRUPRGHOLQJDQGVLPXODWLRQRIGLVFUHWHHYHQWV\VWHPV7KHWRROLV GHYLVHGWRDFKLHYHWKHIROORZLQJ

x )OH[LELOLW\DELOLW\WRFRRSHUDWHZLWKGLYHUVHWRROVDQGOLEUDULHV

x ([WHQVLELOLW\DELOLW\WRRIIHUVXSSRUWIRUUHZULWLQJRUH[WHQGLQJH[LVWLQJIXQFWLRQVRU QHZIXQFWLRQV

x (DVHRIXVH7RROPD\EHEDVHGRQULJRURXVPDWKHPDWLFVEXWWKHXVHUQHHGQRWNQRZ

LW

$WSUHVHQW*3HQ6,0KDVWKHIROORZLQJOLPLWDWLRQV

x ,WLVEDVHGRQDFRPPHUFLDOSODWIRUP0$7/$%ZKLFKLVQRWIUHHIRUDFDGHPLFRU FRPPHUFLDOXVH

x *3HQ6,0 GRHV QRW LQFRUSRUDWH RQOLQH LQWHUDFWLYH VLPXODWRU 7KXV PRQLWRULQJ WKH V\VWHP GXULQJ WKH VLPXODWLRQ UXQ LV QRW SRVVLEOH $ -DYD EDVHG SURJUDP IRU RIIOLQH JUDSKLFDOGLVSOD\RIWKHVLPXODWLRQUHVXOWVLVXQGHUFRQVWUXFWLRQ

x 7KRXJK *3HQ6,0 RIIHU H[WHQVLELOLW\ LW FRPHV ZLWK D FRVW RQH QHHG WR SURJUDP LQ 0$7/$% ODQJXDJH 7KRXJK SURJUDPPLQJ LQ 0$7/$% LV HDV\ DV WKLV ODQJXDJH UHVHPEOHVDVLPSOHU%$6,&ODQJXDJHVWLOORQHQHHGWRVSHQGVRPHWLPHWROHDUQWKH ODQJXDJH

(WTVJGT9QTM

7KHUHDUHQXPHURXVSRVVLELOLWLHVIRUH[WHQGLQJ*3HQ6,0:HJLYHEORZMXVWWZR

x $GDSWLYH*3HQ6,0DYHUVLRQRI*3HQ6,0LQZKLFKWKHDUFZHLJKWVDUHQRWIL[HGDQG FDQYDU\GXULQJWKHVLPXODWLRQUXQ

R 6HOIDGDSWLYH,QHDFK7')WKHDUFZHLJKWRIWKHWUDQVLWLRQFDQEHFKDQJHG R )RUFHGDGDSWLYHLQDVSHFLILF7')DUFZHLJKWVRIDQ\WUDQVLWLRQFDQEHYDULHG

x 5HDOWLPH ´VRIW 3/&µ VLPXODWRU ,QVWHDG RI JOREDO WLPHU WKH UHDOWLPH FORFN RI WKH FRPSXWHUFDQEHXVHG,QWKLVFDVHWKH*3HQ6,0LVQRORQJHUMXVWDVLPXODWRUEXWLW EHFRPHVDVRIW3URJUDPPDEOH/RJLF&RQWUROOHU

4GHGTGPEGU

&DVVDQGUDV * DQG /D)RUWXQH 6 ,QWURGXFWLRQ WR 'LVFUHWH (YHQW 6\VWHPV +DJXH .OXZHU$FDGHPLF3XEOLFDWLRQV

'DYLGUDMXK 5 ´$ 6HUYLFH2ULHQWHG $SSURDFK IRU 'HYHORSLQJ $GDSWLYH 'LVWULEXWLRQ&KDLQµ,QWHUQDWLRQDO-RXUQDORI6HUYLFHVDQG6WDQGDUGV9RO1RSS 'DYLGUDMXK 5 µ(YDOXDWLQJ 3HUIRUPDQFH RI D %OXHWRRWKEDVHG &ODVVURRP 7RROµ² ,QWHUQDWLRQDO-RXUQDORI0RELOH/HDUQLQJDQG2UJDQLVDWLRQ9RO1RSS ([WHQG$YDLODEOHKWWSZZZLPDJLQHWKDWLQFFRP

*LOHVSL ' ´([DFW 6WRFKDVWLF 6LPXODWLRQ RI &RXSOHG &KHPLFDO 5HDFWLRQVµ7KH -RXUQDORI3K\VLFDO&KHPLVWU\9RO1RSS²

*3HQ6,0$YDLODEOHKWWSZZZGDYLGUDMXKQHWJSHQVLP

(13)

/DE9LHZ$YDLODEOHKWWSZZZQLFRP

0$7/$%$YDLODEOHKWWSZZZPDWKZRUNVFRP 3HWULQHWZRUOG$YDLODEOH

KWWSZZZLQIRUPDWLNXQLKDPEXUJGH7*,3HWUL1HWV

3ULWVNHU&RUSRUDWLRQ6/$0,,4XLFN5HIHUHQFH0DQXDO3ULWVNHU&RUSRUDWLRQ:HVW /DID\DWWHH,186$

6,0&65,37,,$YDLODEOHKWWSZZZVLPVFULSWFRP :LNLSHGLD$YDLODEOHKWWSZZZZLNLSHGLDRUJ

:LONLQVRQ'6WRFKDVWLF0RGHOOLQJIRU6\VWHPV%LRORJ\&KDSPDQ +DOO&5&1<

(14)

Referanser

RELATERTE DOKUMENTER

Users need not know Petri net mathematics when creating a Petri net model of a discrete event system. GPenSIM offers a natural language interface with which model

The main focus of this paper is to model and simulate humanoid robot represented as Discrete Event Systems (DES); in Petri Net using GPenSIM and later expand those

Lq frqiurqwlqj d frqvxphu jrrg zkrvh surgxfwlrq surfhvv lv dvvrfldwhg zlwk erwk rz dqg vwrfn h{whuqdolwlhv/ d fruuhfwlyh wd{ lv lqwurgxfhg wr uh0 vwruh hflhqf|1 Wkh remhfwlyh lv

Mt|h@U|G Dffhvv wr erwk d orfdo dqg d joredo qhwzrun lv qhhghg lq rughu wr jhw frpsohwh frqqhfwlrq wr wkh Lqwhuqhw1 Wkh sxusrvh ri wklv duwlfoh lv wr h{dplqh wkh lqwhu0 sod|

Rxu frqfhuq lv zkhwkhu dqg krz frqyhujhqfh wr wkdw glvfuhwh vhw pd|rewdlq lq wkh orqj uxq1 Xqghu idluo|zhdn k|srwkhvhv Vhfwlrq 5 surylghv dq d!updwlyh dqg frq0 vwuxfwlyh dqvzhu1

4.. lqqrydwlrq wdnhv sodfh xqghu lqfuhdvlqj uhwxuqv wr vfdoh/ dqg duh xqsurwdeoh xqohvv pdunhw ghpdqg lv vx!flhqwo| kljk1 Vlqfh wkh krph pdunhw lv w|slfdoo| vpdoo lq gh0

ghshqghqw xsrq wkh vkdsh ri wkh ghfd| ixqfwlrq +Vdqgdo dqg Vwhlqvkdpq/ 4&lt;&lt;;, Wkh dlp ri wklv duwlfoh lv wr ghyhors d prgho wkdw frpelqhv erwk hfrqrplf dqg elrorjlfdo dvshfwv

Wkh lqwxlwlrq iru wklv sursrvlwlrq/ dqg +43,/ lv wkdw li k lv orz/ vrflhw|*v orvv xqghu rdwlqj udwhv zloo eh forvh wr bj 2 0 / dqg suhgrplqdqwo| fdxvhg e| rxwsxw yrodwlolw| +lq