From 6354238864c6e69f0b2c4622895749782e1c59e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laure=CE=B7t?= Date: Wed, 20 Oct 2021 16:28:15 +0200 Subject: [PATCH] correction rapport --- rapport/rapport.pdf | Bin 1085885 -> 1085889 bytes rapport/rapport.tex | 6 +++--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/rapport/rapport.pdf b/rapport/rapport.pdf index 5a888ba2a8870e526cbf7bf9bd39fd04024de05a..14ec41973da53199f19fa205457d901834d8ea52 100644 GIT binary patch delta 4476 zcmV-?5rgi%qe8)>LV$z;gaU*Egam{Iga(8Mgb1_=p4|dDHfOI4u z>0I^cs9&FdI%VEfwMV@xk9xnY|NrHD@Aa>N@K{JVQ_?%X^i)8CSa@N`iR9k-!u#U$ zgBhb??4NxViY=4;Ku~|bPH!50FcT{Ft2$|W0rkI9MH8HHi+}XoQa>Ir{~fULPoM!) z*ulm5Utj;qV~;TsE5&hX*o9KDH{$`}kz4yjSHOYB{=CQ!c<9$DWTpi4K#_#fE8BB2fi|5w+;OP#$-DowW7*-3E>Mv##(KEao!Bkh0kNVUsjYhg*!|9lW}zbOBG ztkFmF)OjP$K||t{Mf>?DU4eq;ZFfLmhMWVHOQB`O>D`aU$P$aXpG*6A4o24ai zBM$95>^v!xIeGvsTkp`$e{$^{EO7%UYhAYP_kErf!*GnY8qDkJmG_Wp4BGwk|sKnab2l_E^KFaY^# z{T+l=OrlR2ciOU5CJ1F=U*CLuw=@8m#3Z|A6q0{_Xje@0Tf5WSBuf{+gL7j_cl+&y zYZMSh16aj;x9_I(`4gsCJL5xcSX%BmFg|)FSH_8GC;VjDRXV#Qx!o)~+NNDj1p!J= zyJA$kDu(627%$RpBw`7>TRE=TFeEZ$Pu6UAO&JmjuCIcS z00OZqs__*A2rM2<5h=YDdvX2QBSAYnxnZ9=KbXuBJ>QtK-#%q+-G3d3c=5ZYZun2b7G4lBW@qh8^&u_0fn(8qH ze-4y-j>h}Y4YGiM$mpH48|Wq}H}F7GVc`Kbk^?}n1`iZzX-SKHgqo3onyJB=j-G$y z?xRdwZhicB*bY{1ErbRLj+gE;iFz;t^xi5RF&f$ z>BSgDh5?C#NfLpKU_r|Nmly@E1w?T^$!-H+se(aZp;j@js?W#WthKTNyw42MWOzH; zQI>H;ARzR-$rL7Qu+J7reih1^-`dgYWK3?Jkd&+=B z?LmX_IFs6y|g zfJYI8q>_YUlG}}>F@%B`i$%zrW5I|=-R{9SeqxK55;$=tv8IUOKM$V~jTYX4OmqEI zM~%is3l)jvG&c_sQE+(m!{TfjnkUgWb%=hdO5+p?T3g0a3#NX^}Hu8@D(tbtc#H>fPc zG*g{ygCf={Yud^te!Ib-w(4mCTUR>lSIry+a~9c@y;f+f(qL6)Yf{)Yp@UUJ_}7## zMSVPqNf=F%yE$Y##>L1DcCG0bLq85_Ovp*@R6GP#g~Rfcvj+rzzBn!QLeI?&6$l^l zGYDk|Vn=UN3X9CU*H(Yt&g&F>H$~s&X40%4oZvS7v2yUobV7p9$uum;P*>yE2nW#cPDXfztpRk#Ed;!(WC1rY5vUO zK%dRne$gy8JkdEYwHpz(Zk{txK%kzmYLYLuGJTsJj zY`M)q50hcuj7e$`=*F9OMQY=B1&&x?BI)3Oi(;)k5T<_(>wa)ZeA1Vh{+{0IqwU$Ki#Uh2-TFof$9KrLAWj}fT{x4sB#Suh z=uAofUq$08Ye=&g3>sVC*Kxo=NNi*+<)(3P(3a?`0jG7*+w>47St^#lYGQlub2o}F zd%8XxN1$_^CAJ)w?kkE+F<1U9b4peJFp0&+#E~FmCp^sZTmi_$!9q z#QPdB8^rciQoB+hVqje6SdU>)#Jh3mH;57qs)df*gYC3L``WJ?N4EGj4mTA>)TKqW zNWLl|(A=lyhZ)vy-Q5SKmLExP@ZiY)_xO9b6Z2&l) zrZ(yT^oD<*1JG4HK-|gq)NsWYX!DZXq}5HcpE^eQ{tx%#2#37ehvs$#Jk<>nH$UDW zV@aX|yxC*On}JVK6;6>N7_JzzEy%m|%k`^~b%7USa7H<#LpI6gX+YwQdE5M^jl1hV zARZtVespu(jiXtT%Ww4Mb=W8}KMtAT`7n&YwBk}Rm=y{VvPrI9-Sr0cf0Dr;cdcm(lPE6NjRE3%8Gn zFksHjxvBfz=O+;z+=fSoh)2Ji&YyOh`$wZ9ktI^-G}?WQv`I{%qAZh1Dx+N;{l&6) zD|lA0U0iTBmc9Erj9oc3LmzLIE?8~hG@NyR1Du@I&r0*w67N~1{C~Jy^D+kNcl@&z zN&blU>^=cg#DDKT-apDB5+W(Imgpfkt921=rAcHSTzqW$vbCM}#>nsu5VGO!HNMN>Q5Wh_X&@e=>dkzt3ApxL& zxyJq8lo(>PU4jy6lBR}&YCnLesK#cRN03id&gu_yPtb834rA#ZMf77C%N)|EQ&!#u z*}yt^YDXe0CT<-@2|LJS{GC=+snRD?8#X;qco)Ah%Qw1J%t1R5zj0 z8XbY8N{ufq=&3X@Itz`L2=GC0&Ro-f9b5bK@QJjPxzrMnJR>A%d#xYVEQ=yBTrVO} ze=t`n|`NM$O4#;dx`+a^gfQ4s$E^sIstV)%)8|7#~i z^e}AxfZuY#VtpITZ_oB=8qHO&D`4t8Qd*tU`PdwMLnxzIu{I%ECni%%u+Ln7YD)cY zmo>xcTB3(>m`6gX#j}+bH(?CSN;7AtR)5F6Oz?6-hd_CX3^O2;Oy=b5Q+)D7i0jrx z!rWT|zQnm?!}$7OpSeo=CU^*(x^(>_Oy`Il>ufm(fndU4g*|Xbc-RvFRbFH01Deut zY|F}e68DR1-_)2xTp;g9SW`HE`*H63ra#~nT(iBK%5k!_M^m=N#a2?UTE8gyMNh}x|_TvkN(QHD>7uf~D>+AxXCf=@%@RIL8EjZLy zxHM&+Gw=KW7kX7k#L>3o9wOLGc>3%SSkHkp+S)=&okfq3LLKDQ&|Xk~J%@a)@8&9K z2XBsLuw(zRxG&ZMsY{=@6x!Uj z7@iW0xgts%I4`s)`sJd34uxLEz^%hM4X<9gcL@>BVR^5D*xTF?fY0(;rTnld4e>$G zxhY`y1X=>W;8XH`2>>S)1)y_L0BM8beyJb8cDmt_E%z;47s!4o(w%bsPG8&0IKmE~ zb&Bobs7|ykue0p;t`8UpVIMcOBStlhpp4Yq51XGlXk@f7x#VgZzeZBQ!vbG$Tgl<8 z4qh1Vgb=sS+<#qunK+lxstpr|@;VKN@;VNO@;VQ<@;VUeP6RSIFfy0mi4Y$IGB_|Y zw*!h0U<5-nIWRXlGeR{pGDSi+H$yWsK|)3|I72lxGC4RwK|wM;AUrfVFgH0fLNzlo zMM5_>Lo+i$LPj$>+kPLT$G zwBiamO;OSLe3B|rRdQefIaWlKPeGm>1)@4AfFd~xM76dMEF#BfRQHQP6**1jWU>@2L#n_fWDQu3)Z~lE6<{Tj6@CF(3+j+6a2~k|tVXH;o0F^o^+-m29Jv-W zAT@am*$A4D8aRtw2bz(L`WfVU(1H|yP9rw}&NA5)%D)*4nNQk?l7&!Ev;*t}+rci@ z4uNCfC>RFE8QpAQ?oTb-0=8O6o=R>5tzb832OXdjbb)Tr1NMNupcnLkey|Vh2LoUb z8~_KwAwX-%VQ>V{WYT7#_(yHfX`-H)?5y=c3pMQ;9ktAdCyKOTBNnQ@O7h=-T;DiF zr1GaN2?`IFM?J4c&*7gF~~5#h0=2P5IcufNS)kWxq`*!b48a zJ_1IqcrDR9jP7RH-@ha?mi-rk%|G{9Qsz%A`}eIRx5v3D&ed>kqho4MEqC?3rsOSm z^IEV4k8VlIomG~*{zekFJ63joyz7|IYb|YU&}f~d?SB>FFt4|C*8@q6=}neS3`^oG zZ?^Pqqa@aIj?A%zbArAVU<=0&=U z@}1umbz6S&o}wPhznfCD$MWAED%xv>hUbcUt#IR|qCP83&F)6O6{asaE5d8e%jKu6 zc=s8(sK2`hhZ+_)8f_pi{K z<*bL{T~e@FAWgE1wCN_B7zofL2-F$cQLB;0y4XpvKfdRX)QqHz?6Iw)FE)8d9r9fH z@o*lWy?e`oi~5KL7Xb}^+y4K{+0o-)wFp>5I8!n>I}em5IuSt>aUywewhBIm{A9ss zl!Wg;3B}fFaUy8gWS4)fIavsmgmsg4Jx#+;RM8Y?T;U(HbksK|EPM`Z!q?D%DeUC) z*oW#NC9Sha3sT>_^lT*1dQ zH=bKoFL0>^G~6sZ8%EZ+Mw70~1qvH1I`Nn!QfeojXGP!(uEUpkZZ`pIq;=g^W-Aa3 zE=|>d?6vE8nLwLf9sawO@w3aXRzy=QJ;gL`#>UEEs1OJ zjnn>_U9>PGYH)vAO`HX_3P2tqwY4A(7D5sxgm)amz~+pCZL;+yH*a6OCM7B-T;?}A z0DK6HEswXjw6z`Ak=qhBhNkeu_uVR|u3wa`AL)6|MPcna;8v7t-&&!QcI3B}TV-i# zPf1(%-+74Vovuy(Jgp7cV`neL3owF=h4l%(wjJq~N2-5Y9$PC%lHrGwn1^Nc?-vGr zw8*?S;v6(2PFZ!IzcV!`XxVjFWoBJ`Yg{BctCw|+#&beeZUjZLTg!^f+PPgj0=MGO zp~EiIDqW%n(5mweF-oa8ofU-7K=YHRod0YFPt%sfsqBU95TE7~(F;4r6aVoa! zm96(zl;VH5Emo$gmn95$E*S@kBvGW%r4|W+{I=kX2rq$6Jx4FkjxLWFNJj&PIWJCl zpgAQmO@ih6=;LP^tY8e}CnAZ1Yddp|vz;>X;Qi4bK7U4iAJ&x67+5L7qz?m-uQA_1 zSj8mzly#>)TV;Y!77g{yr*}&=$RuXjEu)b1Be#EIR$RHAUZr`q`W>7bQ@Y>pAY5Zj z7}cggo5iU9T7kv zZbdb{qK3fYdX7jLtT>444>nn!XD(HrI%1cZZ;f_;Oz3GDWK2{%iwKH?XUkErqeuQd zEBN!TY4v0jQsAl9O&xUG>!}j;NQChE2PRF3vzM7|X48TGku4Cl$5#s;zqd&hq>S=1g6#Q8$ zbsvonp&MiY0g*8{X?M^~Qf}daq{6`iY@{cEU@aafv&xZH#|SlJ3pF!~Gd(>m{6~Me zaomRZ@3b4N{aOeO5FD@lXAUbtV+vPMkE`J0?Ocf78=(6Zb6G4h##|%(1E{LNJJN$O zii|W#^el-$#;_pe|4WPl*8-wApJlfiSSmdVEYvE-RsG>bKWlBA055ZkG#TEG4wPjY z5lG0uG}5ym0tq=-dO)!F1-5JeQ$v5aZj2M+Pxo(QNV&{k)ql&1)thsi;7%Eks5@vd z9;dRPfY@fqq35y`f;<#XcH+UxiI$yw%QC-Fz-RT@_l?u*rTbXgYF!+%_4)mprS}#@M1IkbN~1 zSimq08Bg~$I=%%q?+w5VU-aW)-F?3r&+7xAX^@j{HfhzEBJH-wW9f=uvGT<%RFCWT z%VorqPP)n~_ImY2-W9NrUX;b6Hbs5v=&mg1iePLg6H*JmoG)ayTi|~cyA3J_G3`_@ z+o*`O$=j~7iQn!psH=K9z}A-z`*piS!MsIwWv>kytFl;?xtbKVZRlXt5dO8*Ls1`( z6B5O<4 z4`L^8QwodBhu2n~Et`J~d^bbi>|Nm`*57TiXukUFQE&5zKlxne$sO)=1HH>6CJCg? z!8t#TQ#mLtP9AteU~s}i00nrF=7RrNYTI~?gSvZ(bN{7YB_v_&)`}k8PRWXU76*oG zruK_wap8&1fvMe!uy^yEfdaI;!>Vbq+RF&eEy`{*v|?CX;)j0%b}lt2gwJGXMIpoJ z9~HL^vs=w95e)o)t-RZ;3q8yS0~=3Qhanxrpoar*6A%-G(s?d}TxiIYz3On6He9*Q zLJyl^o=!<>5$MjF4@GLzcLk1EU?%C{fQu8ki;W*H27MttKEuKo2(>3}?;+;&Edrke z7@Oyeq7h6R*ZqIska%a#bMq~`GEeqrqdwvs+jj38DIDJs--9@L68GUu(UBbDbfXI; z!+({nudE@>VK8XyeP71`3n8(Qca+Q4!$DV~t4Ex+MQ__fnB=Hf{%VNpy)67FzU-Oi zbQ*y!O`amq(_wM!8xGz<178X8KVnBuIku2%R9bX%{gi*+_9FL~I2yM5#7@-XgFj># z%-f>`+#|Lx(#BT-y#+43gwD?!Y?zJ)_yERRyUXWSh>ho!BA zJFu<8b^3p8_xNm4b(__f?Qxd74~paO9bk9E>G+}8B5?bo4KkG+dVrhVhPWB{B302G zse$2&3EP9XJ6GJk7CGBL7<)6yAq}!wHcvH4I&<#wnz24^{(vBW0Qla|ZI_PXPqL)bUm8qB3T6 zgOPuJ+I!7v;NVWH3)Ac-;kLVli?5)hpu}Ix2}5(`MLo$mjO5hDSv%dS#R7n5PsiZp+1EI zyfP0_$72fDMT4|((*^QS2Mbza9Kkx)qGYuHzB3$3dw5YSuq5Z38O}}J?!G*T=-F*} z^c?Z%*LD4Qx4FH~R3!353Y|u~?~%@utW;5+%OsW2u8#g@dAt=oFWD|GIU7yyz7Jz( zre^5ltb)c@7a9@P{iMMpKkAE z83~b;T1&JLjMch~wlYg(5lp;qdehp@_OZ;_1Zt#YO^d5w{V+SCSQnr}yam3&x#p?0 zH$;7JmW&lGo6;#-NMQc5zCiNt$Nl zRQmx~MKw0lJOY2J3RZuZd)ghw;dwOPP&|Gzu`D2rI%Vc2@CInL)Q&`0R9qT_G-unv z!#SHF?JVrgJS`@4Xw+oRg&kpwJN(iSh%KcfgX|UpvYSw9GaUh^N;98YkW*=r={yu( zBESa0Ie&9acWCXy-Di?g*{PI(;AKLBw3qtnnr2ZZ8P^L7c;G>))j!dh?G{xaNal1z93YlSb42Ov`(^IEq~5Fa;Yiwzn|s|vulYS+F>5)NF|^R?99p{D^}R;Un2Pnlx`WRlB*jD3h#ON2NtT_nuCrOns4kZc%V?(8F1 zY2O430jZ7a7iL;VtXOBw92kNMe-+li4V}ZBfL-M!hCUoqS`MwLtS50lxb{trF~kA# zzJG-^xw9YVzHjTl-_m_TF|>(zqYC_5;rYrs-WnBCoThjU>p2#JlT= z?oIJ}mrG*7P_b`cP>gC55PQ55x9M%rT-^FC>z+Ve&b;dYL=7}HMGczX8}*> zaFU<&JU>@FpBVF!CxGs?WOr$&I^*eoPPyGlZfTk%{hodynunh0@ z8fC0UM^G5YP3;J%h7p93TKHb`O(F+%j2b4FoQ>B=DtK4m18yrheAK}MWJF9AMa%dkRidhtg9>u2h$^3g961U^b&v-IaukSaZ82Cv zj?t*@mx4-in#{+OWuOYl3a80rIjBaez-43&Sb@~!3FJz!3dsr|N7jPXNEH}Et^sS2 zD!}F>bzmKmQNM&-4>lk*c?7u;)FU-8jNAk^BN_FJ$St4&DGYxhw*t;GX$-~RoQ2F6 zZA6=ekXN(|>;^kQD{K3}S#SoN2Im=VvQY9<%eI4N3(0fI9iRp51?`{%bb>Ch4|Ie5 z-~c!XdcYxY7#smdK`%H4j)N0`){>Lp6rjmukA=b?wLzzedS><*v+_IFf>k`eDJgeWTKTOPlDOTmvg3bU$An&MX-l<6S6kZtTM-WP zb(Xf?mBg4{Z|UR-Nqps-EuE^9#Cpz=Iks?4(3=6aaBSh2%ki4yHJ8oWz#f2Uyxr1A zL#o$d>6`i8=(KdMMp2jLI<@1z&vMiE6?I$g!~CD#Z@HOiMF%Xu;hCa?mcRW self.successor \end{textcode} Nous avons aussi ajouté des contraintes sur les quantités des Resource et Request. -En effet, cela n’a pas de sens d’savoir des Resource ou des Request avec des quantités négatives. De plus, une Request ne peut pas être plus grande que le nombre initial de ressources. (Le nombre initial de ressources est le maximum puisqu’il n’y a pas de création.) +En effet, cela n’a pas de sens d’avoir des Resources ou des Requests avec des quantités négatives. De plus, une Request ne peut pas être plus grande que le nombre initial de ressources. (Le nombre initial de ressources est le maximum puisqu’il n’y a pas de création.) \begin{textcode} context Resource, Request inv negativeQuantity: self.quantity > 0 @@ -239,7 +239,7 @@ Ces plugins seront déployés dans une Eclipse Application séparée de notre en \subsection{simplePDL $\rightarrow$ petriNet (avec Java)} -Maintenant que nous pouvons charger plus facilement nos métamodèles dans notre environnement de travail, il nous est aussi possible d'importer nos modèles dans un programme Java (grâce aux modules générés automatiquements par EMF). Ainsi en 300 lignes de code, nous pouvons convertir directement un modèles simplePDL en un modèle petriNet. +Maintenant que nous pouvons charger plus facilement nos métamodèles dans notre environnement de travail, il nous est aussi possible d'importer nos modèles dans un programme Java (grâce aux modules générés automatiquements par EMF). Ainsi en 200 lignes de code, nous pouvons convertir directement un modèles simplePDL en un modèle petriNet. \section{Transformation de modèle à texte (avec Acceleo)} @@ -362,7 +362,7 @@ Finalement il nous est possible, tout comme lors de la transformation modèle à Pour transformer une WorkDefinition dasn un réseau de Petri, nous créons 4 places (\_idle, \_running, \_started, \_finished) ainsi que 2 transitions (\_start, \_finish). Pour transformer une WorkSequence, nous relions la place du predecesseur à la transition du successeur, par exemple dans le cas d'un linkType start2start nous relions un \_started à un \_start. -Pour transformer une Resource, nous créons simplement un palce avec le bon nombre de tokens. Pour ce qui est des Requests d'une WorkDefinition nous relions le \_start et le \_finish de la WorkDefinition à la ressource avec les poids correspondants. +Pour transformer une Resource, nous créons simplement une place avec le bon nombre de tokens. Pour ce qui est des Requests d'une WorkDefinition nous relions le \_start et le \_finish de la WorkDefinition à la ressource avec les poids correspondants. \newpage