Modeling, Simulation, and Optimization with Petri ...

Download PDF
4 downloads 1435 Views 193KB Size Report
Comment
ed, a guided search of the most promising solutions is a ... tions may use of metaheuristics for exploring local ..... design engine for manufacturing systems.
S NE O

V E R V I E W

N

O T E

Modeling, Simulation, and Optimization with Petri Nets as Disjunctive Constraints for Decision-Making Support. An Overview. Juan-Ignacio Latorre-Biel1*, Emilio Jiménez-Macías2 1

Department of Mechanical, Energetic, and Materials Engineering, Public University of Navarre, Campus of Tudela. 31500 Tudela, Spain; *[email protected]

2

Department of Electrical Engineering, University of La Rioja, 26006 Logrono, Spain

 6LPXODWLRQ1RWHV(XURSH61(   '2,VQHRQ 5HFHLYHG-XQH ,QYLWHG2YHUYLHZ1RWH  $FFHSWHG-XQH

Abstract. A panoply of modeling formalisms, based on the paradigm of Petri nets is overviewed and their application to modeling, simulation, and optimization of discrete event systems with alternative structural configurations is discussed. This approach may be appropriate for the development of decision support systems for the design process of discrete event systems. The motivation, definition and an example of application is provided for several formalisms that include a set of exclusive entities. A practical methodology and the main advantages and drawbacks of the application of these formalisms to the calculation of quasi-optimal values for the freedom degrees in the structure of discrete event systems in process of being designed is addressed.

Introduction 7KH DSSOLFDWLRQ RI GLVFUHWH HYHQW V\VWHPV '(6  WR D EURDGYDULHW\RIILHOGVRIWHFKQRORJLFDOLQWHUHVWLVJURZ LQJIURPGD\WRGD\>@>@ 3HWULQHWV 31 FRQVLVWRIDSDUDGLJPZLGHO\XVHGIRU WKH PRGHOOLQJ VLPXODWLRQ DQG RSWLPL]DWLRQ RI '(6 0DQ\WKHRUHWLFDOUHVXOWVUHODWHGWRWKH31FRQWULEXWHWR WKH ERG\ RI NQRZOHGJH WKDW FDQ EH DSSOLHG WR WKH FRQ VWUXFWLRQRIPRGHOVWKHLUVLPSOLILFDWLRQDQGYHULILFDWLRQ E\ VWUXFWXUDO DQDO\VLV WKHLU YDOLGDWLRQ DV ZHOO DV WKH LPSOHPHQWDWLRQRISHUIRUPDQFHDQDO\VLV>@>@ 6LPXODWLRQ FRQVLVWV RI DQRWKHU YHU\ SURGXFWLYH PHWKRGRORJ\ IRU PDQ\ RSHUDWLRQV UHODWHG WR 31 ,Q SDUWLFXODU GLYHUVH GHFLVLRQPDNLQJ VXSSRUW PHWKRGROR JLHV UHO\ XSRQ WKH VLPXODWLRQ RI WKH HYROXWLRQ RI WKH 3HWULQHWPRGHORIDQRULJLQDO'(6>@>@>@

6HYHUDO PHWKRGRORJLHV IRU GHFLVLRQPDNLQJ VXSSRUW EDVHGRQWKHVLPXODWLRQRI3HWULQHWPRGHOVSURFHHGE\ PHDQVRIWKHIROORZLQJVWHSV D  2EWDLQLQJD3HWULQHWPRGHORID'(6ZLWKIUHHGRP GHJUHHVRUFRQWUROODEOHSDUDPHWHUV E  'HILQLQJWKHREMHFWLYHVWREHDFKLHYHGE\WKH'(6 DQG WKH ZD\ WR HYDOXDWH WKHLU GHJUHH RI DFKLHYH PHQWDOVRFDOOHGTXDOLW\LQLWV3HWULQHWPRGHO F  0DNLQJDJXHVVRQDIHDVLEOH DQGSURPLVLQJ VHWRI YDOXHVIRUWKHGLIIHUHQWIUHHGRPGHJUHHVRIWKHPRG HO RU VROXWLRQ RI WKH GHFLVLRQPDNLQJ SUREOHP LQ FOXGLQJWKHLQLWLDOVWDWHRUPDUNLQJRIWKH3HWULQHW G  &RQILJXULQJ WKH SDUDPHWHUV RI WKH VLPXODWLRQ IRU H[DPSOH WKH VWRS FULWHULRQ ,Q VRPH FDVHV VXFK DV IRUDPDQXIDFWXULQJSURFHVVWKLVFULWHULRQPLJKWEH WKHFRPSOHWLRQRIDFHUWDLQSHULRGRIVLPXODWHGWLPH H  'HYHORSLQJ WKH HYROXWLRQ RI WKH 3HWUL QHW ZKLOH JDWKHULQJ WKH LQIRUPDWLRQ QHFHVVDU\ IRU HYDOXDWLQJ WKHTXDOLW\RIWKHWHVWHGVROXWLRQ 7KHVHPHWKRGRORJLHVUHDFKDVLJQLILFDQWSRWHQWLDOLI WKHSUHYLRXVO\PHQWLRQHGVWHSVIURP D WR H DUHLWHUDW HG IRU GLIIHUHQW VROXWLRQV RU YDOXHV IRU WKH FRQWUROODEOH SDUDPHWHUV RI WKH PRGHO $IWHU D QXPEHU RI VROXWLRQV KDYH EHHQ VLPXODWHG UHJDUGLQJ WKH DYDLODELOLW\ RI WLPH DQGFRPSXWHUUHVRXUFHVLWLVSRVVLEOHWRSURYLGHDVHWRI VHOHFWHGVROXWLRQVWRWKHGHFLVLRQPDNHU>@>@>@>@ 'HSHQGLQJRQWKHZD\RIFKRRVLQJWKHIHDVLEOHVROX WLRQV WR EH VLPXODWHG VHYHUDO PHWKRGRORJLHV FDQ EH GHILQHGVLQFHDQH[KDXVWLYHH[SORUDWLRQRIWKHFRPSOHWH VROXWLRQVSDFHLVQRWSRVVLEOHIRUWKHPDMRULW\RIFDVHV 7KLV OLPLWDWLRQ DULVHV IURP WKH FRQVWUXFWLRQ SURFHVV RI WKH VHW RI IHDVLEOH VROXWLRQV IRU WKH IUHHGRP GHJUHHVRI WKH3HWULQHW7KLVPD\EHFDUULHGRXWE\DFRPELQDWRULDO SURFHVV ZKHUH GLIIHUHQW YDOXHV IRU WKH GLYHUVH FRQWURO ODEOHSDUDPHWHUVDUHFRPELQHGIRUEXLOGLQJXSVROXWLRQV SNE 26(2) – 6/2016 75

Latorre-Biel et al.

Modeling, Simulation, and Optimization with Petri Nets

$V D FRQVHTXHQFH WKH VL]H RI WKH VROXWLRQ VSDFH PLJKW EH KXJH DQG VLQFH WKH VLPXODWLRQ RI D VLQJOH VROXWLRQ PD\ FRQVXPH VLJQLILFDQW FRPSXWHU UHVRXUFHV WKHVLPXODWLRQRIDOOWKHVROXWLRQVPLJKWQRWEHDUHDOLV WLFRSWLRQ>@>@>@ ,QSDUWLFXODUDOLQHDUDXJPHQWDWLRQRIWKHVL]HRIWKH VHW RI FRQWUROODEOH SDUDPHWHUV LPSOLHV DQ H[SRQHQWLDO JURZWKRIWKHVL]HRIWKHVROXWLRQVSDFH 2QFHWKHH[KDXVWLYHVHDUFKIRUVROXWLRQVLVGLVFDUG HGDJXLGHGVHDUFKRIWKHPRVWSURPLVLQJVROXWLRQVLVD SUDFWLFDODSSURDFK1HYHUWKHOHVVGXHWRWKHIDFWWKDWWKH H[SORUDWLRQLVUHGXFHGWRDVPDOOUHJLRQRIWKHVROXWLRQ VSDFHWKHRSWLPXPLVQRWDOZD\VIRXQG+RZHYHUDJRRG VROXWLRQTXDVLRSWLPDOLVHQRXJKIRUSUDFWLFDOSXUSRVHV 7KLVVHDUFKIRUSURPLVLQJVROXWLRQVFDQEHDPDQXDO SURFHVV VXFK DV D ³ZKDWLI´ DQDO\VLV ZKHUH VPDOO FKDQJHVRQWHVWHGVROXWLRQVVHHNWRGHGXFHWKHLQIOXHQFH RIYDULDWLRQVRIRQHRUVHYHUDOIUHHGRPGHJUHHV¶YDOXHV LQWKHRXWFRPHRIWKHVLPXODWLRQ>@>@$OWHUQDWLYH O\ DQ DXWRPDWLF SURFHGXUH IRU H[SORULQJ IHDVLEOH VROX WLRQV PD\ XVH RI PHWDKHXULVWLFV IRU H[SORULQJ ORFDO RSWLPDLQWKHVHDUFKIRUWKHJOREDORSWLPXP>@WR>@ 7KLVDSSURDFKKDVEHHQDSSOLHGWRWKHRSHUDWLRQRID '(6 >@ WR >@ >@ 7KDW PHDQV WKDW WKH PDNHVSDQ \LHOGXWLOLVDWLRQUDWHRIWKHHTXLSPHQWRUOHYHORIVWRFNV KDYHEHHQFRQVLGHUHGWRHYDOXDWHWKHTXDOLW\RIVROXWLRQV IRUWKHVFKHGXOLQJRUURXWLQJRIV\VWHPVVXFKDVDPDQX IDFWXULQJIDFLOLW\RUDVXSSO\FKDLQMXVWWRJLYHDQH[DPSOH $QRWKHUFRPPRQDQGFRPSOH[FDVHZKHUHGHFLVLRQ PDNLQJ VXSSRUW FDQ EH DSSOLHG LV WKH GHVLJQ RI D '(6 >@>@2QHRIWKHNH\VWHSVLQWKHGHVLJQRIDV\VWHP LV WKH DQDO\VLV RI GLIIHUHQW DOWHUQDWLYH VROXWLRQV IRU FKRRVLQJ WKH EHVW RQH DQG SURFHHG ZLWK WKH IROORZLQJ GHVLJQ VWDJHV,W LV YHU\ FRPPRQ WKDW GLIIHUHQW DOWHUQD WLYHVROXWLRQVIRUWKHGHVLJQRID'(6FDQEHPRGHOOHG E\31ZLWKGLIIHUHQWVWDWLFVWUXFWXUHV>@>@ 7KHGHVLJQRID'(6LVQRWWKHRQO\DSSOLFDWLRQGHDO LQJ ZLWK D YDULHW\ RI VWDWLF VWUXFWXUHV ,W LV WKH FDVH RI V\VWHPVZKRVHVWUXFWXUHYDULHVRYHUWLPHRQDFRQWURO ODEOHSURFHVVLHDGHFLVLRQPDNHUVKRXOGILQGWKHEHVW VHTXHQFH RI WUDQVIRUPDWLRQV WR DFKLHYH LWV JRDOV $Q H[DPSOH LV WKH SUREOHP RI SUHYHQWLYH PDLQWHQDQFH ZKHUHDPDQXIDFWXULQJIDFLOLW\VKRXOGVWRSVHTXHQWLDOO\ LWV GLIIHUHQW LQVWDOODWLRQV ZLWKRXW D UHVWULFWLRQ RQ WKH VHTXHQFH WR IROORZ EXW ZLWK VWURQJ FRQVWUDLQWV RQ WKH SHULRGRIWLPHHDFKLQVWDOODWLRQLVVWRSSHGWKHUHVRXUFHV XVHG LQ WKH RSHUDWLRQV RI PDLQWHQDQFH WKH RYHUDOO ORVV RISURGXFWLRQDQGWKHLPSDFWRQWKHVHUYLFHSURYLGHGWR FXVWRPHUV>@ 76 SNE 26(2) – 6/2016

ON

7KH ZD\ WR EXLOG XS WKH DOWHUQDWLYH VWUXFWXUDO VROX WLRQV WR WKHVH GHFLVLRQ SUREOHPV PLJKW EH EDVHG LQ WKH FRPELQDWLRQ RI IHDVLEOH VXEV\VWHPV RI WKH PRGHO >@ 7KLVLVHVSHFLDOO\WUXHZKHQWKH'(6WREHGHVLJQHGLV FRPSRVHGE\GLIIHUHQWLDWHGDQGUHDOVXEV\VWHPVVXFKDV PDFKLQHV RU SURGXFWLRQ OLQHV 7KH QXPEHU RI IHDVLEOH DOWHUQDWLYH VROXWLRQV DULVHQ IURP WKLV FRPELQDWRULDO SURFHVVPD\EHYHU\ODUJHWKXVPDQXDOVHOHFWLRQRIWKH EHVWDOWHUQDWLYHVROXWLRQE\H[SHQVLYHH[SHUWVLQPDQXIDF WXULQJPDQDJHPHQWLVQRWDOZD\VDQHIILFLHQWSHUVSHFWLYH $GHFLVLRQSUREOHPFDQEHVWDWHGZLWKDVHWRIDOWHU QDWLYH 31 PRGHOOLQJ WKH VWUXFWXUDO FRQILJXUDWLRQV ZKLFKDUHH[FOXVLYHFRQVWUDLQWVKHQFHWKH\FRQVWLWXWHD GLVMXQFWLYHFRQVWUDLQWWRWKHGHFLVLRQSUREOHP>@ )RXU DSSURDFKHV IRU VROYLQJ WKH SUREOHP DUH DG GUHVVHG LQ WKLV GRFXPHQW DV ZHOO DV WKHLU DGYDQWDJHV DQG GUDZEDFNV 0DLQ GLIIHUHQFH EHWZHHQ WKHVH DS SURDFKHVLVWKH3HWULQHWIRUPDOLVPFKRVHQIRUPRGHOOLQJ WKH'(6,QEULHIWKHIRUPDOLVPGULYHVWKHPHWKRGRORJ\ DSSOLHGWRVWDWHDQGVROYHWKHGHFLVLRQSUREOHP>@>@ ,Q 6HFWLRQ WKH IRUPDOLVP RI WKH DOWHUQDWLYH 31 LV GLVFXVVHGZKLOHLQ6HFWLRQLWLVFRQVLGHUHGWKHFRP SRXQG 31 7KH IROORZLQJ WZR VHFWLRQV DGGUHVV WKH DO WHUQDWLYHV DJJUHJDWLRQ 3HWUL QHWV $$31  DQG WKH GLV MXQFWLYH FRORXUHG 3HWUL QHWV UHVSHFWLYHO\ 6HFWLRQ IRFXVVHVRQWKHFRPSDUDWLYHRIWKHPHWKRGRORJLHVDULVHQ IURPWKHGLIIHUHQWIRUPDOLVPVZKLOHWKHIROORZLQJVHF WLRQ LV GHYRWHG WR WKH FRPELQDWLRQ RI GLIIHUHQW IRUPDO LVPV LQ D VLQJOH 31 PRGHO 6HFWLRQ GHVFULEHV WKH FRPPRQVWHSVRIWKHPHWKRGRORJLHVIRUVROYLQJDGHFL VLRQSUREOHPXVLQJWKHVHIRUPDOLVPV6HFWLRQSUHVHQWV WKHFRQFOXVLRQVDQGWKHODVWVHFWLRQOLVWVWKHELEOLRJUDSK LFDOUHIHUHQFHV

1 Alternative Petri nets 7KLV IRUPDOLVP KDV EHHQ XVHG LQ GLYHUVH DSSOLFDWLRQV DQG FDQ EH FRQVLGHUHG D FODVVLF DSSURDFK IRU VROYLQJ GHFLVLRQSUREOHPVZLWK31DVGLVMXQFWLYHFRQVWUDLQWV$ GHILQLWLRQDQGFRQWH[WXDOLVDWLRQLVSURYLGHGLQ>@ 1.1 Motivation 7KLV IRUPDOLVP LV D FODVVLF DSSURDFK XVHG LQ GLYHUVH DSSOLFDWLRQVVXFKDV>@>@DQG>@,WLVDQDWXUDO \HWLQHIILFLHQWZD\WRUHSUHVHQWDGLVMXQFWLYHFRQVWUDLQW LQWHUPVRI31>@7KLVLQWXLWLYHZD\WRGHVFULEHDVHW RI DOWHUQDWLYH PRGHOV IRU GHVLJQLQJ D '(6 FRQVLVWV RI GHYHORSLQJ LQGHSHQGHQW PRGHOV IRU HYHU\ DOWHUQDWLYH VWUXFWXUH

ON

Latorre-Biel et al.

Modeling, Simulation, and Optimization with Petri Nets

7KLV VLPSOH LGHD LV EHKLQG D VHW RI DOWHUQDWLYH 3HWUL QHWVZKLFKFRQWDLQVVRPDQ\QHWVDVDOWHUQDWLYHPRGHOV KDYHEHHQFRQVLGHUHGLQWKHSURFHVV 1.2 Definition $VHWRIDOWHUQDWLYH3HWULQHWVLVDFROOHFWLRQRIPRGHOV ZLWKGLIIHUHQWVWUXFWXUHLHLQFLGHQFHPDWUL[ZKHUHDQ\ RIWKHPLVDEOHWRGHVFULEHWKHVDPH'(67KHVHPRGHOV FDQEHUHSUHVHQWHGE\DQ\3HWULQHWIRUPDOLVP 'HILQLWLRQ6HWRIDOWHUQDWLYH3HWULQHWV SR ^R«Rn`VHWRI31LVDVHWRIDOWHUQDWLYH 3HWULQHWVLI i FDUG SR  n ! ii ∀ij∈1 VXFKWKDW≤ij≤ni≠jRiRj∈SR WKHQ: Ri ≠: Rj LQFLGHQFHPDWULFHVRIRiDQGRj iii ∃Rk∈SRVXFKWKDWP Rk >«@7ZKHUH P Rk LVWKHLQLWLDOVWDWHRULQLWLDOPDUNLQJRIRk Ƒ ,Q RWKHU ZRUGV JLYHQ D VHW RI DOWHUQDWLYH 3HWUL QHWV DVVRFLDWHGWRD'(6WKHFKRLFHRIDQ\RIWKHPDVVROX WLRQIRUWKHVWUXFWXUHRIWKHV\VWHP¶VPRGHOLPSOLHVWKDW WKHLQLWLDOPDUNLQJRIDOOWKHQRQFKRVHQDOWHUQDWLYH3HWUL QHWVFRQWDLQV]HURWRNHQVLQHYHU\SODFH2QO\WKHFKR VHQ31FDQEHVLPXODWHGDWDJLYHQWLPH7KHVLPXODWLRQ RIDQ\RWKHU31UHTXLUHVGLVFDUGLQJWKHSUHYLRXVFKRLFH 1.3 Examples 6RPHH[DPSOHVRIVHWVRIDOWHUQDWLYH3HWULQHWVDUH $ GHFLVLRQ SUREOHP IRU GHFLGLQJ WKH EHVW VWUXFWXUDO FRQILJXUDWLRQRIDPDQXIDFWXULQJIDFLOLW\DPRQJDVHWRI WKUHH DOWHUQDWLYH 3HWUL QHWV LV VWDWHG LQ >@ $ VHFRQG H[DPSOHLVSURYLGHGMXVWWRLOOXVWUDWHWKHVWDWHPHQWRIDQ RSWLPL]DWLRQSUREOHPZLWKVXFKDGLVMXQFWLYHFRQVWUDLQW )RXUGLIIHUHQWWRSRORJLHVRIPDQXIDFWXULQJIDFLOLWLHV ZLWK GLYHUVH GHJUHHV RI SURGXFWLRQ IOH[LELOLW\ DUH GLV FXVVHG LQ >@ 7KHLU 3HWUL QHW PRGHOV GHYHORSHG IRU VLPXODWLRQFRQVWLWXWHDVHWRIIRXUDOWHUQDWLYH3HWULQHWV $QDVVHPEO\OLQHLVPRGHOOHGLQ>@XQGHUWKUHHGLI IHUHQW PDQXIDFWXULQJ VWUDWHJLHV 7KH UHVXOWLQJ DOWHUQD WLYH 3HWUL QHWVDUH VLPXODWHG IRU FKRRVLQJ WKHEHVW FRQ WUROSROLF\SXVK³RQGHPDQG´RU.DQEDQ $ PDQXIDFWXULQJ IDFLOLW\ LV SUHVHQWHG LQ >@ VXFK WKDW WKH FRPELQDWLRQ RI GLYHUVH SURGXFWLRQ VWUDWHJLHV DQGORWVL]HVOHDGWRDVHWRIDOWHUQDWLYH3HWULQHWV

2 Compound Petri Nets 7KLVIRUPDOLVP LVZHOONQRZQXQGHUWKHQDPHRISDUD PHWULF 3HWUL QHWV RU SDUDPHWHUL]HG3HWUL QHWV $Q DSSOL FDWLRQ RI WKLV IRUPDOLVP WR GHFLVLRQ SUREOHPV ZLWK 31 DVGLVMXQFWLYHFRQVWUDLQWVLVGHVFULEHGLQ>@

2.1 Motivation ,Q GHVLJQ SUREOHPV WKH DOWHUQDWLYH 3HWUL QHWV PLJKW EH DQ LQHIILFLHQW RSWLRQ WR FRQVWUXFW D 3HWUL QHW PRGHO DS SURSULDWHIRUVLPXODWLRQEHFDXVHRIWKHIROORZLQJUHDVRQV D  'LIIHUHQWDOWHUQDWLYHVROXWLRQVPLJKWVKDUHFRPPRQ VXEV\VWHPVKHQFHDFRPSOHWHVHWRIDOWHUQDWLYH3H WULQHWVPD\FRQWDLQDODUJHDPRXQWRIUHGXQGDQWLQ IRUPDWLRQ7KHODUJHUWKHPRGHOWKHPRUHFRPSXWD WLRQDOUHVRXUFHVPLJKWFRQVXPHLWVVLPXODWLRQ E  (DFK DOWHUQDWLYH 31 GHILQHV DQ LQGHSHQGHQW SURE OHP RI VHDUFKLQJ JRRG VROXWLRQV +HQFH FRPSXWHU UHVRXUFHVVKRXOGEHGHYRWHGWRHYHU\DOWHUQDWLYH3H WULQHWQRPDWWHULILWOHDGVWRJRRGVROXWLRQVRUQRW F  7RDYRLGWKHVWDWHPHQWRIDODUJHQXPEHURIVHDUFK SUREOHPV D PDQXDO SUHVHOHFWLRQ RI D VPDOO VHW RI IHDVLEOH VROXWLRQV LV XVXDOO\ FDUULHG RXW 7KLV SUR FHVVPLJKWVNLSKLJKTXDOLW\VROXWLRQV $FRPSRXQG31WULHVWRUHPRYHWKHVHOLPLWDWLRQVE\ D  5HPRYLQJUHGXQGDQWLQIRUPDWLRQLQWKHVWDWLFVWUXF WXUHRIWKH31WKDWGHILQHVWKHGLVMXQFWLYHFRQVWUDLQW E  $OORZLQJ D VLQJOH VHDUFK SURFHVV 1RQSURPLVLQJ VROXWLRQV FDQ EH VNLSSHG GHYRWLQJ PRUH FRPSXWHU UHVRXUFHVWRSURPLVLQJUHJLRQVRIWKHVROXWLRQVSDFH F  $VLQJOHVHDUFKSUREOHPLVVWDWHGKHQFHDPDQXDO SUHVHOHFWLRQRIIHDVLEOHVROXWLRQVLVQRWQHFHVVDU\ 2.2 Definition 7KHVWDWLFVWUXFWXUHRID31LVGHVFULEHGE\LWVLQFLGHQFH PDWUL[ KHQFH D FRPSRXQG 3HWUL QHW SUHVHQWV IUHHGRP GHJUHHV RU FRQWUROODEOH SDUDPHWHUV LQ LWV LQFLGHQFH PD WUL[>@0RUHRYHUHYHU\DOWHUQDWLYHVWUXFWXUDOFRQILJX UDWLRQ $6& RIWKHPRGHOLVDVVRFLDWHGWRDIHDVLEOHVHW RIYDOXHVIRUWKHVHSDUDPHWHUV(YHQWKRXJKLWPLJKWEH SRVVLEOH WR FRQVWUXFW $6& IURP GLIIHUHQW FRPELQDWLRQV RI YDOXHV IRU WKHVH FRQWUROODEOH SDUDPHWHUV LQ JHQHUDO QRWDOOWKHFRPELQDWLRQVDUHYDOLGVHWV 'HILQLWLRQ&RPSRXQG3HWULQHW $PDUNHGFRPSRXQG3HWULQHWLVDWXSOH Rc ¢PTSUHSRVWPSstrαSvalstrα²ZKHUH i P DQGTDUHGLVMRLQWILQLWHQRQHPSW\VHWVRISODF HVDQGWUDQVLWLRQVUHVSHFWLYHO\ ii SUHPîTĺ1LVWKHSUHLQFLGHQFHIXQFWLRQ iii SRVWTîPĺ1LVWKHSRVWLQFLGHQFHIXQFWLRQ iv P Rc LVWKHLQLWLDOPDUNLQJRIWKHQHW v Sstrα≠∅LVWKHVHWRIVWUXFWXUDOSDUDPHWHUVRIRc vi SvalstrαLVWKHVHWRIGLIIHUHQWIHDVLEOHFRPELQDWLRQV RIYDOXHVIRUWKHVWUXFWXUDOSDUDPHWHUVRIWKHQHW

SNE 26(2) – 6/2016 77

Latorre-Biel et al.

Modeling, Simulation, and Optimization with Petri Nets

2.3 Examples

ON

3 Alternatives Aggregation Petri Nets

LQJ D PRGHO RI D GLVMXQFWLYH FRQVWUDLQW VLPXODWLQJ WKH HYROXWLRQRIDPRGHOPLJKWUHTXLUHVSHFLILFad hocWRROV &RORXUHG 3HWUL QHWV DUH FRQFHSWXDOO\ VLPLODU WR WKH $$31 EXW WKH IRUPDOLVP FRQWDLQV WKH VDPH HOHPHQWV WKDQ WKH FRPPRQO\ XVHG FRORXUHG 3HWUL QHWV )RU WKLV UHDVRQ WRROV GHYHORSHG IRU VLPXODWLQJ FRORXUHG 3HWUL QHWV RU WKH PRUH JHQHUDO KLJKOHYHO 3HWUL QHWV FDQ EH XVHGIRUVLPXODWLQJGLVMXQFWLYHFRORXUHG3HWULQHWV

$$31LVDIRUPDOLVPSURSRVHGDVDWRROIRUGHVFULELQJ GLVMXQFWLYHFRQVWUDLQWVLQWKHIRUPRID3HWULQHWPRGHO

4.2 Definition

>@ LOOXVWUDWHV WKH PDLQ FRQFHSWV RI D FRPSRXQG 31 ZKLOH WZR H[DPSOHV LQ >@ GHVFULEH D WUDQVIRUPDWLRQ RIDVHWRIDOWHUQDWLYH31LQWRRQHFRPSRXQG31

3.1 Motivation 6LPLODUO\WRFRPSRXQG31$$31DLPDWUHPRYLQJWKH OLPLWDWLRQVRIDVHWRIDOWHUQDWLYHPRGHOVIRUD'(67KH FRQVWUXFWLRQ SURFHVV DQG VSHFLILF SDUDPHWHUV RI WKH IRUPDOLVPLWVHOIDUHGLVFXVVHGLQ>@ 3.2 Definition $Q$$31LQWHJUDWHVLQDVLQJOH3HWULQHWPRGHODFRP SOHWH VHW RI $6& $ VHW RI FKRLFH YDULDEOHV DOORZV FKRRVLQJRQHRIWKH$6&$IXQFWLRQRIFKRLFHYDULDEOHV LV DVVRFLDWHG WR VRPH WUDQVLWLRQV DV JXDUGV 2QO\ RQH FKRLFHYDULDEOHFDQEHDFWLYHDWDJLYHQWLPH>@ 'HILQLWLRQ$OWHUQDWLYHVDJJUHJDWLRQ3HWULQHW $Q$$31V\VWHPRALVGHILQHGDVWKHWXSOH RA ¢PTSUHSRVWPSAI$²ZKHUH i P, T, SUHDQGSRVWDUHH[SODLQHGLQ'HILQLWLRQ ii P LV WKH LQLWLDO PDUNLQJ UHSUHVHQWLQJ WKH LQLWLDO VWDWHDQGLVXVXDOO\DIXQFWLRQRIWKHFKRLFHYDULDEOHV iii SA ^aa«an_∃ai ZKHUHi∈1 ≤i≤ n ∧ ∀ j≠i WKHQ aj  ` SA LV D VHW RI FKRLFH YDULDEOHV VXFKWKDWSA≠∅DQG_SA_ n iv I$ T ĺ I a « an  LV D IXQFWLRQ WKDW DVVLJQV D IXQFWLRQRIWKHFKRLFHYDULDEOHVWRHDFKWUDQVLWLRQt VXFK Ƒ WKDWW\SH>I$ t @ %RROHDQ 3.3 Examples 7KHDSSOLFDWLRQRIDQ$$31WRWKHGHVLJQRIDPDQXIDF WXULQJ IDFLOLW\ LV VKRZQ LQ >@ 'LIIHUHQW VWUDWHJLHV IRU VROYLQJ WKLV SUREOHP E\ PHDQV RI GLVWULEXWHG FRPSXWD WLRQDUHSUHVHQWHGDQGWKHLUFRPSXWDWLRQWLPHFRPSDUHG 7KH WUDQVIRUPDWLRQ DOJRULWKP IURP D VHW RI DOWHUQDWLYH 3HWULQHWVLQWRDVLQJOH$$31LVLOOXVWUDWHGLQ>@

4 Disjunctive Colored Petri Nets &RORXUHG 3HWUL QHWV FRQVLVWV RI D IRUPDOLVP FORVHO\ UHODWHGWRWKH$$31>@>@ 4.1 Motivation (YHQWKRXJK$$31FDQEHYHU\HIILFLHQWZKHQGHVFULE 78 SNE 26(2) – 6/2016

$ GLVMXQFWLYHFRORXUHG 3HWULQHW SUHVHQWV DVWDWLF VWUXF WXUH ZKLFK LV WKH VDPH DV DQ HTXLYDOHQW $$31 7KH PDLQGLIIHUHQFHLVDVVRFLDWHGWRWKHPHFKDQLVPXVHGWR GHFLGHWKHFKRVHQDOWHUQDWLYHVWUXFWXUDOFRQILJXUDWLRQ,Q WKHFDVHRIDGLVMXQFWLYHFRORXUHG3HWULQHWLWLVSRVVLEOH WRGHILQHDFKRLFHFRORXULQGLIIHUHQWZD\V>@ 1HYHUWKHOHVV D FKRLFH FRORXU DOORZV IRU WKH WRNHQV RIDFHUWDLQVWUXFWXUDOFRQILJXUDWLRQWRGHVFULEHWKHHYR OXWLRQRIWKH3HWULQHW>@$QLPSRUWDQWFKDUDFWHULVWLFRI WKHFKRLFHFRORXULVWKDWLWVKRXOGEHPRQRFKURPHLHLW LVQRWSRVVLEOHWRPL[WRNHQVIURPGLIIHUHQWFKRLFHFRO RXUVIRUDQDO\VLQJWKHHYROXWLRQRIWKH3HWULQHWE\VLPX ODWLRQ7KLVOLPLWDWLRQSUHYHQWVWKHH[SORUDWLRQRIXQUHDO VWDWHVIRUWKH3HWULQHWPRGHO 'HILQLWLRQ'LVMXQFWLYHFRORUHG3HWULQHW $ GLVMXQFWLYH FRORUHG 3HWUL QHW R  ¢NP² LV D  WXSOH CPN ¢P,T,F, P,Ȉ,V,FV,J,H²ZKHUH i P DQGTDUHGLVMRLQWILQLWHQRQHPSW\VHWVRISODF HVDQGWUDQVLWLRQVUHVSHFWLYHO\ ii F ⊆ P×T ∪ T×P LVDVHWRIGLUHFWHGDUFV iii PLVWKHLQLWLDO PRQRFKURPH PDUNLQJ iv ȈLVDILQLWHVHWRIQRQHPSW\FRORUVHWVVXFKWKDW YHULILHVRQHRIWKHIROORZLQJWZRFRQGLWLRQV D∃SCVHWRI%RROHDQFKRLFHFRORUVVXFKWKDWSC∈Ȉ E∃ cC DQDWXUDOFKRLFHFRORUVXFKWKDWC∈ȈDQG CLVWKHQXPEHURI$6&ZKLOHc∈1DQG≤c≤C v V LVDILQLWHVHWRIW\SHGYDULDEOHVVXFKWKDWW\SH>v@ ∈ȈIRUDOOYDULDEOHVv ∈ V vi  FV  P ĺ Ȉ LV D FRORU VHW IXQFWLRQ WKDW DVVLJQV D FRORUVHWWRHDFKSODFH vii J TĺEXPRV LVDJXDUGIXQFWLRQWKDWDVVLJQVD JXDUGWRHDFKWUDQVLWLRQt VXFKWKDWW\SH>J t @ %RROHDQ viii H FĺEXPRV LVDQDUFH[SUHVVLRQIXQFWLRQWKDW DVVLJQV DQ DUF H[SUHVVLRQ WR HDFK DUF a VXFK WKDW W\SH>H a @  F p MS ZKHUH p LV WKH SODFH FRQQHFWHG WR WKHDUFa

ON

Latorre-Biel et al.

Modeling, Simulation, and Optimization with Petri Nets

4.3 Examples $GHFLVLRQSUREOHPRQWKHFKRLFHRIWKHEHVWSURGXFWLRQ VWUDWHJ\ IRU D PDQXIDFWXULQJ IDFLOLW\ LV JLYHQ LQ >@ ,Q WKLVH[DPSOHDVHWRIDOWHUQDWLYH3HWULQHWVDUHWUDQV IRUPHG LQWR D VLQJOH GLVMXQFWLYH FRORXUHG 3HWUL QHW $Q RSWLPL]DWLRQ SUREOHP LV VWDWHG DQG D FRPSDULVRQ EH WZHHQDFODVVLFVROYLQJVWUDWHJ\E\ PHDQV RIWKHVHWRI DOWHUQDWLYH 3HWUL QHWV DQG WKH XVH RI WKH VLQJOH GLVMXQF WLYHFRORXUHG3HWULQHWLVVKRZQ ,Q>@DQDSSOLFDWLRQRIWKHGLVMXQFWLYHFRORXUHG3H WULQHWVWRWKHGHVLJQRIDPDQXIDFWXULQJIDFLOLW\LVSUH VHQWHG 7KH PRGHOOLQJ SURFHVV IURP D VHW RI GLYHUVH DOWHUQDWLYH3HWULQHWVLVGHWDLOHG

5 Advantages and Drawbacks 7KHPDLQSXUSRVHRIWKHIRXU3HWULQHWIRUPDOLVPVSUH VHQWHGLQWKLVSDSHUFRQVLVWVRIPLQLPL]LQJWKHVL]HRID 3HWUL QHW PRGHO ZLWK D VHW RI $6& 1HYHUWKHOHVV WKHUH DUH RWKHU FRQVLGHUDWLRQV WKDW PD\ EH FRQVLGHUHG DV DG YDQWDJHV RUGUDZEDFNVRI WKHVH IRUPDOLVPV ,QSDUWLFX ODUWKHIROORZLQJIHDWXUHVDUHLQWHUHVWLQJRQHV D  6L]HUDWHRUTXRWLHQWEHWZHHQWKHVL]HRIWKHPRGHO PHDVXUHGE\WKHVL]HRILWVLQFLGHQFHPDWUL[DQGWKH VL]HRIDQHTXLYDOHQWEHQFKPDUNXVXDOO\DVHWRIDO WHUQDWLYH3HWULQHWV E  (DVLQHVV RI PRGHOOLQJ 6LPXODWLRQ FDQ EH FRQVLG HUHGDVDQLQH[SHQVLYHPHWKRGRORJ\IRUH[SHULPHQ WDWLRQZKHQFRPSDUHGZLWKSUDFWLVLQJWKHUHDOV\V WHP +RZHYHU FRQVWUXFWLQJ PRGHOV IDVW DQG ZLWK DEVHQFH RI HUURUV PD\ PDNH IHDVLEOH D GHFLVLRQ PDNLQJVXSSRUWWRRO F  $YDLODELOLW\RIWKHRUHWLFDODQGSUDFWLFDOWRROVIRUDQD O\VLQJVLPSOLI\LQJDQGVLPXODWLQJDPRGHORID'(6 ,W LV LQWHUHVWLQJ WR UHDOL]H WKDW WKH FRPSDFWQHVV RI WKH 3HWUL QHW PRGHO DOORZHG XQGHU FHUWDLQ FRQGLWLRQV E\ VRPH IRUPDOLVPV SUHVHQWHG LQ WKLV GRFXPHQW GRHV QRW FRPSURPLVH WKH XVHIXOQHVV RI WKH PRGHO WR H[SOLFLWO\ UHSUHVHQW DQG VKRZ WKH VWUXFWXUH RI WKH PRGHOOHG V\V WHP ,Q IDFW WKH UHPRYDO RI UHGXQGDQW GDWD SUHVHQW LQ WKHPRGHORIWKHV\VWHPWHQGVWRSRLQWRXWWKHNH\LQIRU PDWLRQWKDWGHWHUPLQHWKHVWUXFWXUHRIWKHV\VWHPLWVHOI 6RPH RI WKH IHDWXUHV PHQWLRQHG LQ WKH SUHVHQW VHF WLRQGHSHQGRQWKH'(6WREHPRGHOOHG,QSDUWLFXODULI WKHUH DUH VLPLODULWLHV EHWZHHQ WKH $6& LW LV OLNHO\ WKDW FHUWDLQ IRUPDOLVPV PLJKW OHDG WR UHGXFWLRQV LQ WKH VL]H RIWKHPRGHO2IFRXUVHLWLVQHFHVVDU\WRVSHFLI\ZKDW PHDQVVLPLODULW\LQWKLVFRQWH[W 7KHFRQFHSWRIVLPLODULW\GHSHQGVRQWKHIRUPDOLVP WKDWLVLQWHQGHGWREHDSSOLHG

)RU H[DPSOH D FRPSRXQG 3HWUL QHW PD\ SUHVHQW D VPDOO VL]H UDWH FRUUHVSRQGLQJ WR D ODUJH DPRXQW RI UH PRYHG UHGXQGDQW GDWD ZKHQ WKH LQFLGHQFH PDWULFHV RI WKH DOWHUQDWLYH 3HWUL QHWV SUHVHQW D UHGXFHG QXPEHU RI GLIIHUHQWHOHPHQWV$VDFRQVHTXHQFHLQWKHFRQWH[WRID FRPSRXQG 3HWUL QHW VLPLODULW\ LV D FRQFHSW WKDW FDQ EH TXDQWLILHG LQLQYHUVHSURSRUWLRQWRWKHQXPEHURIGLIIHU HQW HOHPHQWV EHWZHHQ WKH LQFLGHQFH PDWULFHV RI DQG HTXLYDOHQWVHWRIDOWHUQDWLYH3HWULQHWV 1HYHUWKHOHVVVLPLODULW\LQWKHFDVHRI$$31RUGLV MXQFWLYH FRORXUHG 3HWUL QHWV FDQ EH TXDQWLILHG DV D SD UDPHWHU SURSRUWLRQDO WR WKH QXPEHU DQG VL]H RI VKDUHG VXEQHWV7KLVSDUDPHWHUDOVRGHSHQGVLQLQYHUVHSURSRU WLRQWRWKHHOHPHQWVRIWKHPRGHOWKDWGRQRWEHORQJWR DQ\VKDUHGVXEQHW,WLVQRWXQXVXDOLQDGHVLJQSURFHVV WKDWWKHGLIIHUHQW$6&DUHEXLOWXSE\PHDQVRIFRPELQ LQJLQGLIIHUHQWZD\VDJLYHQVHWRIVXEQHWV>@>@ ,WLVDOVRSRVVLEOHWRVD\WKDWLIWKHVLPLODULW\RIWKH DOWHUQDWLYH3HWULQHWVWKDWPRGHOD'(6LVQRWKLJKWKH VL]H RI WKH VHW RI DOWHUQDWLYH 3HWUL QHW PD\ EH VPDOOHU WKDQ WKH VL]H RI DQ HTXLYDOHQW PRGHO GHVFULEHG E\ DQ\ RWKHURIWKHIRUPDOLVPVSUHVHQWHGLQWKLVGRFXPHQW 5HJDUGLQJRWKHULPSRUWDQWIHDWXUHVXFKDVWKHPRG HOOLQJ HDVLQHVV LW LV SRVVLEOH WR VD\ WKDW WKH DOWHUQDWLYH 3HWULQHWVPD\OHDGWRDYHU\LQWXLWLYHZD\RIPRGHOOLQJ VLQFHDQLQGHSHQGHQWPRGHOLVGHYHORSHGIRUDQ\RIWKH $6&1HYHUWKHOHVVDIDVWHUDSSURDFKIRUWKHPRGHOOLQJ VWDJH PLJKW EH FDUULHG RXW LQ FDVHV FKDUDFWHULVHG E\ KLJK VLPLODULW\ EHWZHHQ WKH DOWHUQDWLYHV E\ RWKHU IRU PDOLVPV )RU H[DPSOH LQ WKH FDVH RI D IDPLO\ RI PD FKLQHV ZLWK VPDOO VWUXFWXUDO GLIIHUHQFHV D FRPSRXQG 3HWULQHWPD\EHDQDSSURSULDWHIRUPDOLVPQRWRQO\IRU REWDLQLQJ D VPDOO PRGHO EXW DOVR IRU FRQVWUXFWLQJ WKH PRGHOLQDSURGXFWLYHZD\E\GHYHORSLQJWKHFRPPRQ VWUXFWXUHDQGSDUWLFXODUL]LQJWKHGHWDLOVRIHYHU\DOWHUQD WLYHE\PHDQVRIDVHWRISDUDPHWHUVDQGWKHDVVRFLDWHG VHWRIYDOXHVIRUWKHP $QDORJRXVO\WKH$$31RUWKHGLVMXQFWLYHFRORXUHG 3HWULQHWPLJKWOHDGWRDQHDV\PRGHOOLQJSURFHVVZKHQ WKH$6&DUHREWDLQHGE\GLIIHUHQWFRPELQDWLRQVRIDVHW RIVXEQHWV 7KHODVWLPSRUWDQWIHDWXUHRIWKHIRUPDOLVPVWKDWZLOO EH FRQVLGHUHG LQ WKLV GRFXPHQW LV WKH DYDLODELOLW\ RI WRROVIRUPRGHOOLQJDQDO\VLQJDQGVLPXODWLQJWKHPRGHOV ,QSDUWLFXODUWKHWRROVVKRXOGSHUPLWLQFOXGLQJLQWKH PRGHO WKH HOHPHQWV WKDW DOORZ UHSUHVHQWLQJ WKH H[FOX VLYHQHVVEHWZHHQDOWHUQDWLYHVSDUDPHWHUVLQWKHFDVHRI FRPSRXQG 3HWUL QHWV DQG JXDUG IXQFWLRQV IRU FHUWDLQ WUDQVLWLRQVLQWKHFDVHRIWKH$$31 SNE 26(2) – 6/2016 79

Latorre-Biel et al.

Size rate

Modeling, Simulation, and Optimization with Petri Nets

Modelling easiness

Practical tools

Intuitive

No restrictions

Set of alternative PN

Usually largest

Compound PN

Small with similar Easy with similar incidence matri- incidence matrices ces

For parametric Petri nets

AAPN

Small with shared Easy with shared subnets subnets

Allowing guards in transitions

DCPN

Small with shared Easy with shared subnets subnets

For Colored Petri nets

Table 1: Summary of main characteristics of the formalisms presented in this document with regard to three key concepts.

'LVMXQFWLYHFRORXUHG3HWULQHWVUHTXLUHWRPRGHOFKRLFH FRORXUVZKLFK DUH VXSSRUWHG E\ DQ\ FRORXUHG 3HWUL QHW WRRO$ VXPPDU\ RI WKHSUHYLRXV FRQVLGHUDWLRQV LVSUR YLGHGLQ7DEOH

6 Polytypic Sets of Exclusive Entities 7KLVVHFWLRQLVGHYRWHGWRDEVWUDFWLQJWKHIHDWXUHRIWKH 3HWULQHWIRUPDOLVPVDEOHWRUHSUHVHQWDVHWRI$6&$VD UHVXOWRIWKLVSURFHVVDFKDUDFWHULVDWLRQRIDOOWKLVNLQG RIIRUPDOLVPVZLOOEHVWDWHG 6.1 Motivation $OO WKH IRUPDOLVPV SUHVHQWHG LQ WKLV SDSHU DV WRROV IRU PRGHOOLQJ '(6 ZLWK $6& FDQ EH DSSOLHG WR WKH FRQ VWUXFWLRQRIGLVMXQFWLYHFRQVWUDLQWVLQGHFLVLRQSUREOHPV 7KHUH LV D GLIIHUHQW IHDWXUH LQ HYHU\ RQH RI WKHVH IRUPDOLVPV WR GHVFULEH WKH H[FOXVLYH QDWXUH RI HDFK DOWHUQDWLYHVWUXFWXUDOFRQILJXUDWLRQ7KLVIHDWXUHLVDVHW RI H[FOXVLYH HQWLWLHV ZKRVH FDUGLQDOLW\ LV WKH VDPH DV WKHQXPEHURI$6& ,Q WKH FDVH RI D VHW RI DOWHUQDWLYH 3HWUL QHWV HYHU\ SDLURIQHWVDUHPXWXDOO\H[FOXVLYHZKLOHLQWKHFDVHRI D FRPSRXQG 3HWUL QHW WKH VHW RI H[FOXVLYH HQWLWLHV LV D VHW RI IHDVLEOH FRPELQDWLRQ RI YDOXHV IRU WKH VWUXFWXUDO SDUDPHWHUV RI WKH QHW 7KH $$31 SUHVHQWV D VHW RI FKRLFH YDULDEOHV DQG D GLVMXQFWLYH FRORXUHG 3HWUL QHW LQFOXGHVDVHWRIFKRLFHFRORXUV 6.2 Definition 7KH H[DPSOHV WKDW KDYH EHHQ VKRZQ LQ WKLV GRFXPHQW LQFOXGH3HWULQHWPRGHOVZLWKDPRQRW\SLFVHWRIH[FOX VLYH HQWLWLHV PHDQLQJ WKDW D VLQJOH IRUPDOLVP KDV EHHQ 80 SNE 26(2) – 6/2016

ON

FKRVHQIRUFRQVWUXFWLQJWKHZKROHGLVMXQFWLYHFRQVWUDLQW LQWKHIRUPRID3HWULQHW>@ /HW XV FRQVLGHU D '(6 D ZKRVH VWUXFWXUH LV QRW FRPSOHWHO\ GHILQHG /HW XV FRQVLGHU WKDW WKHUH DUH n $6& IRU D DEOH WR GHWHUPLQH FRPSOHWHO\ WKH VWUXFWXUH RID,WLVSRVVLEOHDOWKRXJKQRWQHFHVVDU\LQWKLVFRQ WH[WWRREWDLQDGLIIHUHQWDOWHUQDWLYH3HWULQHWPRGHOIRU D IURP HDFK RQH RI WKH GLIIHUHQW VWUXFWXUDO FRQILJXUD WLRQV$VDUHVXOWLWZRXOGEHSRVVLEOHWRREWDLQDVHWRI nDOWHUQDWLYH3HWULQHWVSR ^R«Rn` 'HILQLWLRQ0RQRW\SLFVHWRIH[FOXVLYHHQWLWLHV $ PRQRW\SLF VHW RI H[FOXVLYH HQWLWLHV UHODWHG WR D '(6DLVDVHWSx ^X«Xn`VXFKWKDW i  7KH HOHPHQWV RI Sx DUH H[FOXVLYH LH RQO\ RQH RI WKHPFDQEHFKRVHQDVDFRQVHTXHQFHRIDGHFLVLRQ ∀ij∈1 i≠j≤ij≤n ii Xi≠Xj iii W\SH>Xi@ W\SH>Xj@ iv ∃ISx→SRZKHUHSR ^R«Rn`LVDVHWRI DOWHUQDWLYH3HWULQHWVIHDVLEOHPRGHOVRIDVXFKWKDWILV D ELMHFWLRQ PHDQLQJ WKDW ∀ Xi ∈ Sx ∃ I Xi   Ri ∈ SR Ƒ DQG∀Ri∈SR∃I Ri  Xi∈Sx 1HYHUWKHOHVVLWLVDOVRSRVVLEOHWRFRPELQHGLIIHUHQW IRUPDOLVPV IRU PRGHOOLQJ DJLYHQ'(67KH UHDVRQ IRU IROORZLQJ WKLV VWUDWHJ\ PD\ DULVH IURP WKH FRQFOXVLRQV SUHVHQWHG LQ VHFWLRQ  ZKHUH D FRPSDUDWLYH RI WKH DG YDQWDJHVDQGGUDZEDFNVRIWKHIRUPDOLVPVLVSHUIRUPHG ,QIDFWDVHWRIDOWHUQDWLYH3HWULQHWVFDQEHGHFRPSRVHG LQWR GLIIHUHQW VXEVHWV ZKRVH HOHPHQWV PLJKW SUHVHQW GLIIHUHQFHVUHJDUGLQJWKHVLPLODULW\EHWZHHQWKH$6&RI WKH '(6 ,Q WKLV FDVH WKH DVVRFLDWHG VHW RI H[FOXVLYH HQWLWLHVLVQRWDPRQRW\SLFRQHDQ\PRUHEXWDSRO\W\SLF VHW>@>@ 'HILQLWLRQ3RO\W\SLFVHWRIH[FOXVLYHHQWLWLHV $ SRO\W\SLF VHW RI H[FOXVLYH HQWLWLHV DVVRFLDWHG WR D '(6DLVDVHW S xp  ^X«Xn`ZKLFKYHULILHVWKDW i)7KHHOHPHQWVRI S xp DUHH[FOXVLYHLHRQO\RQHRI WKHPFDQEHFKRVHQDVDFRQVHTXHQFHRIDGHFLVLRQ ii ∀ij∈1 i≠j≤ij≤nWKHQXi≠Xj iii)∃SxSx’⊆ S xp VXFKWKDW∀Xi∈SxXj∈Sx’LWLV YHULILHGWKDWW\SH>Xi@≠W\SH>Xj@ iv)∃I S xp →SRZKHUHSR ^R«Rn`LVDVHW RIDOWHUQDWLYH3HWULQHWVIHDVLEOHPRGHOVRIDVXFKWKDW ILVDELMHFWLRQPHDQLQJWKDW∀Xi∈ S xp ∃I Xi  Ri∈ SRDQG∀Ri∈SR∃I Ri  Xi∈ S x  p

Ƒ

ON

Latorre-Biel et al.

Modeling, Simulation, and Optimization with Petri Nets

6.3 Examples ,Q>@WKHPRGHOOLQJRIDPDQXIDFWXULQJIDFLOLW\ZLWKD QXPEHURIDOWHUQDWLYHVWUXFWXUDOFRQILJXUDWLRQVLVFDUULHG RXW E\ WZR PRQRW\SLF VHW RI H[FOXVLYH HQWLWLHV LQ WKH IRUP RI D VHWRI DOWHUQDWLYH3HWUL QHWV DQGD GLVMXQFWLYH FRORXUHG3HWULQHWUHVSHFWLYHO\ )XUWKHUPRUH>@LVDGRFXPHQWGHYRWHGWRH[SORU LQJVRPHPRGHOOLQJSRVVLELOLWLHVRIWKHSRO\W\SLFVHWVRI H[FOXVLYH HQWLWLHV 7KLV UHIHUHQFH SUHVHQWV DQ H[DPSOH ZKHUHWKHVDPHPRGHOLVWUDQVIRUPHGWREHUHSUHVHQWHG E\ WKUHH GLIIHUHQW IRUPDOLVP ,Q WZR RI WKH UHSUHVHQWD WLRQV D PRQRW\SLF VHW RI H[FOXVLYH HQWLWLHV KDV EHHQ XVHG ZKLOH LQ WKH WKLUG FDVH D SRO\W\SLF VHW KDV EHHQ FRQVLGHUHG DV D VHW RI GLYHUVH DOWHUQDWLYH FRPSRXQG 3HWULQHWV 7KHFRQILJXUDWLRQRIDVHWRIH[FOXVLYHHQWLWLHVDVD SRO\W\SLFRQHLVWKHEDVLVRIWKHSRWHQWLDOWKDWWKLVPHWK RGRORJ\ SUHVHQWV IRU XVLQJ GLVWULEXWHG FRPSXWDWLRQ WR VSHHGXSWKHVROYLQJPHWKRGRORJ\RIWKHGHFLVLRQSURE OHPV ZLWK GLVMXQFWLYH FRQVWUDLQWV 7KLV WRSLF KDV EHHQ DGGUHVVHGLQ>@

7 Optimization with Petri Nets as Disjunctive Constraints 6HFWLRQ GLVFXVVHG D JHQHUDO DOJRULWKP IRU GHFLVLRQ PDNLQJ VXSSRUW EDVHG RQ VLPXODWLRQ ZKLFK FDQ EH IRXQGH[WHQVLYHO\LQWKHVFLHQWLILFOLWHUDWXUH7KLVDOJR ULWKP LV DSSOLFDEOH XQGHU VHYHUDO DSSURDFKHV IRU FDVHV ZKHUHWKHUHLVQRWDQ\GLVMXQFWLYHFRQVWUDLQWLQ31IRUP 7KHLQWURGXFWLRQRIIRUPDOLVPVDEOHWRPRGHOVHWVRI H[FOXVLYHHQWLWLHVUHTXLUHVWKHDGDSWDWLRQRIWKHGHFLVLRQ PDNLQJ PHWKRGRORJ\ WR WKH VSHFLDO IHDWXUHV RI D GLV MXQFWLYH FRQVWUDLQW UHSUHVHQWHG E\ RQH RU VHYHUDO RI WKHVHIRUPDOLVPV>@ ,QIDFWLWLVGHVLUDEOHQRWWRPRGLI\WKHVWHSVRIWKH DOJRULWKP SUHVHQWHG LQ WKH LQWURGXFWLRQ GXH WR LWV VXF FHVVLQGLYHUVHDSSOLFDWLRQVDVZHOODVWKHH[LVWHQFHRI WRROV GHYHORSHG WR DSSO\ WKLV SURFHGXUH 7KH PDLQ GLI IHUHQFHRIWKHFODVVLFDSSURDFKZLWKWKHSURSRVHGPHWK RGRORJ\WREHDSSOLHGXVLQJWKHIRUPDOLVPVZLWKH[FOX VLYHHQWLWLHV RWKHUVWKDQDVHWRIDOWHUQDWLYH3HWULQHWV LV WRUHGXFHWKHQXPEHURILQVWDQFHVRIGHFLVLRQSUREOHPV WREHVROYHGIURPk∈1ZKHUH”k”n FDUG SR WR MXVWRQH+RZHYHULIVHYHUDOLQGHSHQGHQWSURFHVVRUVDUH DYDLODEOHWKLVREMHFWLYHFDQEHDGDSWHG>@ ,Q RWKHU ZRUGV LQVWHDG RI GRGJLQJ WKH GLVMXQFWLYH FRQVWUDLQWRIWKHGHFLVLRQSUREOHPE\FKRRVLQJDVXEVHW RIkSURPLVLQJDOWHUQDWLYH3HWULQHWVDQGVROYLQJkLQGH

SHQGHQWGHFLVLRQSUREOHPVDVLQJOHGHFLVLRQSUREOHPLV WDFNOHGZLWKWKHGLVMXQFWLYHFRQVWUDLQWUHSUHVHQWHGLQWKH IRUPRIDVLQJOH3HWULQHWZLWKH[FOXVLYHHQWLWLHV 7KH RQO\ UHTXLVLWH WR SHUIRUP WKLV UHGXFWLRQ LQ WKH QXPEHU RI LQVWDQFHV RI WKH GHFLVLRQ SUREOHP LV WR LQ FOXGH LQ DQ\ VROXWLRQ WR WKH SUREOHP D PHFKDQLVP WR FKRRVHRQHH[FOXVLYHHQWLW\SULRUWRWKHGHYHORSPHQWRID VLPXODWLRQ7KLVDGGLWLRQDOLQIRUPDWLRQKDVWZRSXUSRVHV D  7KH VROXWLRQ LWVHOI EHDUV WKH QHFHVVDU\ LQIRUPDWLRQ WRVLPXODWHWKHPRGHORIWKHV\VWHPXQGHUDVLQJOH VWUXFWXUDOFRQILJXUDWLRQWKXVUHJDUGLQJWKHVWUXFWXUH RIWKHV\VWHPSHUIRUPLQJDGHWHUPLQLVWLFVLPXODWLRQ E  2QFHWKHGHFLVLRQPDNLQJSUREOHPKDVEHHQVROYHG WKHVROXWLRQ V IXUQLVKHVWKHGHFLVLRQPDNHUZLWKD VXJJHVWLRQRQWKHPRVWSURPLVLQJ$6& $VDFRQFOXVLRQZKHQDSSO\LQJWKLVSURSRVHGPHWKRG RORJ\ IRU GHFLVLRQ PDNLQJ VXSSRUW DOO WKH WKUHH GUDZ EDFNVRIWKHFODVVLFPHWKRGRORJ\KLJKOLJKWHGLQVHFWLRQ KDYHEHHQRYHUWDNHQ>@

8 Conclusions ,QWKLVGRFXPHQWDV\VWHPDWLFDSSURDFKIRUWKHGHVFULS WLRQRIGLVMXQFWLYHFRQVWUDLQWVUHSUHVHQWHGE\31PRGHOV LV DGGUHVVHG ,Q SDUWLFXODU IRXU IRUPDOLVPV KDYH EHHQ SUHVHQWHGDVHWRIDOWHUQDWLYH3HWULQHWVDFRPSRXQG3HWUL QHWVDQ$$31DQGDGLVMXQFWLYHFRORXUHG3HWULQHW $OOWKHVHIRUPDOLVPVKDYHLQFRPPRQWKHLQFOXVLRQ RIDPHFKDQLVPWRUHSUHVHQWDVHWRIH[FOXVLYHHQWLWLHV ZKLFKDUHWKHPDLQIHDWXUHRIWKHGLVMXQFWLYHFRQVWUDLQW 0RUHRYHU WKLV DSSURDFK DOORZV WKH FRPELQDWLRQ RI GLIIHUHQW3HWULQHWEDVHGIRUPDOLVPVWRGHVFULEHGLYHUVH SDUWV RI WKH VDPH 3HWUL QHW PRGHO ZLWK WKH SXUSRVH RI SURILWLQJ IURP WKH QDWXUH RI WKH V\VWHP WR EH PRGHOOHG DQGWKHIHDWXUHVRIWKHIRUPDOLVPV $QDSSOLFDWLRQRIWKLVDSSURDFKFDQEHIRXQGLQWKH VWDWHPHQWRIGHFLVLRQSUREOHPVEDVHGRQWKHVLPXODWLRQ RIWKHPRGHORIDV\VWHPZLWK$6&7KLVPHWKRGRORJ\ SURYHVWKDWVSOLWWLQJWKHSUREOHPLQDSUHVHOHFWHGQXP EHU RI VXESUREOHPV PD\ D OHVV HIIHFWLYH VWUDWHJ\ $ GHFLVLRQPDNLQJVXSSRUWSUREOHPZLWKDVHWRI$6&IRU WKHV\VWHPRILQWHUHVWFDQEHYHU\FRPPRQLQDGHVLJQ SURFHVV 7KHUHVHDUFKOLQHSUHVHQWHGLQWKLVGRFXPHQWVHHPV SURPLVLQJ +RZHYHU WKHUH DUH RSHQ UHVHDUFK TXHVWLRQV WKDW VKRXOG EH VROYHG 2Q WKH RQH KDQG PRUH DSSOLFD WLRQV VKRXOG EH SHUIRUPHG WR JHW LQIRUPDWLRQ RQ LWV VXLWDELOLW\ DQG VXFFHVV IRU WKH GHFLVLRQ PDNLQJ LQ GL YHUVHILHOGVDQGSURFHVVHV SNE 26(2) – 6/2016 81

Latorre-Biel et al.

Modeling, Simulation, and Optimization with Petri Nets

2QWKHRWKHUKDQGPRUHHIIRUWVKRXOGEHGHYRWHGWR WKH FKDUDFWHUL]DWLRQ RI D JLYHQ '(6 WR GHFLGH ZKLFK FRPELQDWLRQ RI IRUPDOLVPV WR FKRRVH IRU GHVFULELQJ LW DQGKRZWRPLQLPLVHWKHVL]HUDWHRIWKHILQDOPRGHO References >@ &KRL%..DQJ'+0RGHOLQJDQG6LPXODWLRQRI'LV FUHWH(YHQW6\VWHPV:LOH\S >@ &DVVDQGUDV&*/DIRUWXQH6,QWURGXFWLRQWR'LVFUHWH (YHQW6\VWHPVQGHG6SULQJHUS >@ 6LOYD0+DOIDFHQWXU\DIWHU&DUO$GDP3HWUL¶V3K' WKHVLV$SHUVSHFWLYHRQWKHILHOG$QQXDO5HYLHZVLQ &RQWURO  ±GRL MDUFRQWURO >@ 6LOYD0,QWURGXFLQJ3HWULQHWV,Q'L&HVDUH) HGL WRU 3UDFWLFHRI3HWUL1HWVLQ0DQXIDFWXULQJ(G &KDSPDQ +DOOS >@ 0~MLFD0RWD0&KHFNLQDOORFDWLRQLPSURYHPHQWV WKURXJKWKHXVHRIDVLPXODWLRQ±RSWLPL]DWLRQDSSURDFK 7UDQVSRUWDWLRQ5HVHDUFK3DUW$3ROLF\DQG3UDFWLFH YRO±GRLMWUD >@ 0XãLF*6FKHGXOH2SWLPL]DWLRQEDVHGRQ&RORXUHG3H WUL1HWVDQG/RFDO6HDUFK61(6LPXODWLRQ1RWHV(X URSH  GRLVQHWQ >@ 3LHUD0$1DUFLVR0*XDVFK$5LHUD'2SWLPL]DWLRQ RI/RJLVWLFDQG0DQXIDFWXULQJ6\VWHPVWKURXJK6LPXOD WLRQ$&RORUHG3HWUL1HW%DVHG0HWKRGRORJ\6LPXOD WLRQ7UDQVDFWLRQVRIWKH6RFLHW\IRU0RGHOLQJDQG6LPX ODWLRQ,QWHUQDWLRQDO  GRL  >@ %DUXZD273LHUD0$*XDVFK$'HDGORFN)UHH 6FKHGXOLQJ0HWKRGIRU)OH[LEOH0DQXIDFWXULQJ6\VWHPV %DVHGRQ7LPHG&RORUHG3HWUL1HWVDQG$Q\WLPH+HXULV WLF6HDUFK7UDQVDFWLRQVRQ6\VWHPV0DQDQG&\EHUQHW LFV6\VWHPV,(((  ±GRL 760& >@ /DWRUUH%LHO-,-LPpQH]0DFtDV((IILFLHQW0HWKRGROR J\IRU+LJK/HYHO'HFLVLRQ0DNLQJRQD0DQXIDFWXULQJ )DFLOLW\,Q3URFHHGLQJVRIWKHWK(8526,0&RQJUHVV RQ0RGHOOLQJDQG6LPXODWLRQ(8526,0 6HSW&DUGLII 8. S±GRL (8526,0 >@ =LPPHUPDQQ$)UHLKHLW-+XFN$$3HWULQHWEDVHG GHVLJQHQJLQHIRUPDQXIDFWXULQJV\VWHPV,QWHUQDWLRQDO -RXUQDORI3URGXFWLRQ5HVHDUFK   GRL >@ =KRX09HQNDWHVK.0RGHOOLQJ6LPXODWLRQDQG&RQ WURORI)OH[LEOH0DQXIDFWXULQJ6\VWHPV$3HWUL1HW$S SURDFK:6:RUOG6FLHQWLILFS >@ 7VLQDUDNLV*-7VRXUYHORXGLV1&9DODYDQLV.33HWUL 1HW0RGHOLQJRI5RXWLQJDQG2SHUDWLRQ)OH[LELOLW\LQ 3URGXFWLRQ6\VWHPV,Q3URFRIWKHWK0HGLWHUUDQHDQ &RQIRQ&RQWURODQG$XWRPDWLRQ-XQ/LPDVVRO &\SUXVSGRL

82 SNE 26(2) – 6/2016

ON

>@ /DWRUUH%LHO-,-LPpQH]0DFLDV(%ODQFR)HUQiQGH]- 0DUWtQH]&iPDUD(6iHQ]'tH]-&3pUH]3DUWH0'H FLVLRQ6XSSRUW6\VWHP%DVHGRQWKH3DUDGLJPRIWKH3H WUL1HWVIRUWKH'HVLJQDQG2SHUDWLRQRID'DLU\3ODQW ,QWHUQDWLRQDO-RXUQDORI)RRG(QJLQHHULQJ   ±GRLLMIH >@ /DWRUUH%LHO-,-LPHQH]0DFLDV(3HUH]3DUWH06H TXHQFHRIGHFLVLRQVRQGLVFUHWHHYHQWV\VWHPVPRGHOHG E\3HWULQHWVZLWKVWUXFWXUDODOWHUQDWLYHFRQILJXUDWLRQV- RI&RPSXWDWLRQDO6FLHQFH  ± >@ /DWRUUH%LHO-,-LPpQH]0DFtDV(*DUFtD$OFDUD]-/ 6iHQ]'tH]-&3pUH]3DUWH0$OWHUQDWLYHVDJJUHJDWLRQ SHWULQHWVDSSOLHGWRPRGXODUPRGHOVRIGLVFUHWHHYHQW V\VWHPV,Q3URFHHGLQJVRIWKHWK(XURSHDQ0RGHOLQJ DQG6LPXODWLRQ6\PSRVLXP(0666HSW %HUJHJJL,WDO\S >@ /DWRUUH%LHO-,-LPHQH]0DFLDV(3HUH]3DUWH07KH RSWLPL]DWLRQSUREOHPEDVHGRQDOWHUQDWLYHVDJJUHJDWLRQ 3HWULQHWVDVPRGHOVIRULQGXVWULDOGLVFUHWHHYHQWV\VWHPV 6LPXODWLRQ7UDQVDFWLRQV2I7KH6RFLHW\)RU0RGHOLQJ $QG6LPXODWLRQ,QWHUQDWLRQDO  GRL  >@ /DWRUUH%LHO-,-LPHQH]0DFLDV(3HUH]3DUWH0%ODQ FR)HUQiQGH]-0DUWtQH]&iPDUD(&RQWURORI'LVFUHWH (YHQW6\VWHPVE\PHDQVRI'LVFUHWH2SWLPL]DWLRQDQG 'LVMXQFWLYH&RORUHG31V$SSOLFDWLRQWR0DQXIDFWXULQJ )DFLOLWLHV$EVWUDFWDQG$SSOLHG$QDO\VLV   GRL >@ /DWRUUH%LHO-,-LPHQH]0DFLDV(6LPXODWLRQEDVHGRS WLPL]DWLRQRIGLVFUHWHHYHQWV\VWHPVZLWKDOWHUQDWLYH VWUXFWXUDOFRQILJXUDWLRQVXVLQJGLVWULEXWHGFRPSXWDWLRQ DQGWKH3HWULQHWSDUDGLJP6LPXODWLRQ7UDQVRIWKH6R FLHW\IRU0RGHOLQJDQG6LPXODWLRQ,QWHUQDWLRQDO   GRL >@ =LPPHUPDQQ$5RGUtJXH]'6LOYD0$7ZR3KDVH 2SWLPLVDWLRQ0HWKRGIRU3HWUL1HW0RGHOVRI0DQXIDF WXULQJ6\VWHPV-RXUQDORI,QWHOOLJHQW0DQXIDFWXULQJ   GRL$ >@ /DWRUUH%LHO-,3pUH]3DUWH06iHQ]'tH]-&*DUFtD $OFDUD]-/-LPpQH]0DFtDV(0L[LQJIRUPDOLVPVEDVHG RQ3HWULQHWVIRULPSURYLQJWKHHIILFLHQF\RIPRGHOOLQJ DQGVLPXODWLRQRI'(6,Q3URFHHGLQJVRIWKHWK(XUR SHDQ0RGHOLQJDQG6LPXODWLRQ6\PSRVLXP(066 VHSW%RXUGHDX[)UDQFH >@ /DWRUUH%LHO-,-LPpQH]0DFtDV(3pUH]3DUWH0&RQ WURORI'LVFUHWH(YHQW6\VWHPV0RGHOOHGE\3HWUL1HWV ,Q3URFHHGLQJVRIWKHWK(8526,0&RQJUHVVRQ0RG HOOLQJDQG6LPXODWLRQ6HSW3UDJXH >@ /DWRUUH%LHO-,3pUH]3DUWH0-LPpQH]0DFtDV('LV MXQFWLYHFRORXUHG3HWULQHWVDIRUPDOLVPIRULPSURYLQJ WKHDSSOLFDELOLW\RI&31WRWKHPRGHOLQJRI'(6ZLWKDO WHUQDWLYHVWUXFWXUDOFRQILJXUDWLRQV,Q3URFHHGLQJVRIWKH WK(XURSHDQ0RGHOLQJDQG6LPXODWLRQ6\PSRVLXP (066VHSW%RXUGHDX[)UDQFH