multi-ple input places and these places may be empty (cf. Section 3.3).
(viii) Cancel activity is not supported because one needs to model a vacuum clearer to
remove tokens which may of may not reside in specific places (cf. Section 3.3).
! "#"%$'&()+*,.-/
0214357698;:=<><>?A@B39CEDF@FGE1435E1BGIHJ?><><K?>G7LB3M@FGNCO1BGEPIQR14S"T.0VUXWYS"?>T3M6,GETM6,G
Z[\^]`_badcfeRg,hbijadck\^imlEn`opqnrckcfedpsn`o^Zckn9atedc
gbuwv`[9[xy["zXlXxsckufatedpsuM{"xO{"n4|}~nrz[ed\!{"adps[nYlXnropsn`cfcfedpsn`o
n`pscfeditpa~h["zXgb[_radv R_`ijatew{"xsp{
{kmit[n({ckiRZ{\^]`_rik`gr ",F gb Ry}
lE\!{psxA {"advrcflXxsxsps[a|rijad[b|rcfzckn`ukco[F{"_yy[n`{"adv`{nypsxsxspsn`oad[nB_rn`psid{bcM|b_y{_
xq{"edik9edpsijadckn`itckn4_`nrpqid{,cM|r_{"_F
.¡O¢k£k¤¥4¦£§ vrpqim]`{]BcfeNedck]B["etadim[nadvrc_`itc[zXZ[xq[_redcM|¨Ocfatedpy©RcfadiªKZ¨E©i«{n`|¬)r®f¯°±y²,³´µ¶psn
adv`c|bckckxs[]`\^ckn9aN["zX{#]red["ad[9uk[xad[#it_`]r]B[etamadv`cbpsit_`{xspsid{"adps[n({"n4|·{"n`ps\!{"adps[n[zX{=ew{"n`oc[z7ijhbijadck\^i
adv4{aNuM{n¸Bc\^[,|bckxsxqck|._ritpqnro^Z¨E©ikrv`c|rckcfxq[]BcM|!]red[ad[9uf[xFzA{ufpqxspaw{"adcfi¹advrcuk["º~["ew|rpsn4{adps[n¸Bcacfckn
{Y¬=b®k¯°±y²,³´µ»itps\=_`xq{"adps[nO{"n4|{"n½¼¿¾ÀKÁÂwÃBÄÅ#ÆyÇÈwÉrÄÅÇÈfÄÀÊÇ>ËÃÍ̹ÄÎwÏÄMÐ9ÁEv`c^]bed[ad[9uk[xpsi=\^[,|bckxsxscM|
{n`|½{"n4{"xshbitcM|Ñ_ritpqnroZ¨E©i=ufedcM{adcM|½_ritpsn`oÒ¬=b®k¯°±y²,³´µJEv`c{n`{xhbitpqi#itv`[Mmi#adv4{a#advrc.]bed[ad[9uk[x
["edbiR{i¹edcMÓ9_`pedcM|·{"n4|uf[n9aw{psn`i¹n`[!|bcM{|bxs[9u,ikBvrc]4{]Bce{"xqit[.{"n4{xhbitckiR{J\^[edced[¸r_`ija¹cfeditps[nY[z
adv`c]bed[ad[9uk[x>
Ô2ÕÖN×ØXÙ`ÚRÛFÜmÝ6,T"?ALFG¿ÞBßJà=á;:â3M6,GET"?A@FGET9C7ã·?>TäE1B<K?>T143?A@FGNCOåGE?>æç143?A@FGè@BéßJà=áê0ë@OP76,<>T
ì írîRïBðFñò)ó)ôïFõwñ¹î
ö÷576,GäXT?>G7LY3576Yß#@F<A@Fä7S"6,Pçà693MS"?¿á693YødßJà)áYù!úsûyCdürý3M@y@F<tC7þÿ úýdCOäXTM69S"T)14S"6<>?>æ½?A3M6,PÑ?>G
3576O?>TäX1B<>?>T143?A@FGXTR35X14391BG669Sé@BS"æÑ6,PNU4ö÷5E?><>T3=þÿES"@O?>P76,T B69SçP76931B?K<A6,P ?KTäE1B<!
?>T143?>@FGET?>G½3576!é@BS"æ @BéN3576#"k3M@$B6,G LF1BæÑ6&%Ò35E6,TM614S6G7@B3)6,1BT?K<'ÑäEGEP769S"T3M@y@OP ()69@X<>6!äEG7éj1Bæç?><>?>14S
8.?A35½ß^à)áT9U+*!5769S6!14S"6^@B35769S=TM@Bé3w8J14S6¿1$414LB6,T)35E143ES@O?>P76^5E?>LF5769S<A6B6,<O?>TäE1B<K?>T143?A@FGETé@BS#þÿ-,
½CTä."521BT/021345 úý1BGEPë3576 0ë6,TT14LB6766&8ä76,G.6Íß^5E14S3.<>?9ES"14Sú:`ýdC5E@b8#6B69S
3576,TM6;X1$414LB6,TÑ14S6 G7@B3Ò1B<A8J1&OTT143?>TMéj13M@BS¶é@BS<414S"?A@FäETÒS6,1BTM@FGET9C?>G.9<>äXPE?>G7L 3576½éj13Í35E143Ò3576
S6,<' @FG 3576 þÿ=2>LBS"1?X5X?991B<NäETM69S.?KG3M69Séj16øA@BCùU
à)S@Fæ)E3M6,PDE 3576ë<>?Kæç?A3143?A@FGETÑ?Kæ)@FTM6,PF( 3576GO?>TäX1B<>?>T143?A@FG 3M@@F<>T79äESS6,Gy3<' 1`1B?K<>1?X<A6 é@BS
þÿ&2>/8=6·P76&9?>PE6,Pç3M@HS"6,143M6·1BGJILKNMPOQSRT?UWVXZYS[T?UXZY\TM]X^R#_3T+`\aT&b(O9U(*!5E63$B6ç?>P76,1BTc6,5E?>GEP
35E?>TIK+MPOQSRT?U7V>XZYS[T?UX9YTM]X2^+RF_3T+`\aT&b(O14S"6d35E143)?KTäE1B<>?>T"143?A@FGET<91BGe6èP76B6,<A@6,P 8.?>35 LBS"6,143M69S
LBS"1?X5X?991B<91?X1?¿?><>?A3?A6,Tøé~@BS#6âO1BæX<A6.äET"?>G7L D1&41 <>?9ES"14S"?A6,Tùm35X1BG½357@FT6@BéRþÿ&2>fO1BGEP3576
O?>TäE1B<>?KT143?A@FGg@FäE<>Ph6)69S"é~@BS"æç6,P'143Í1ëS6,æÑ@B3M6 <A@E9143?>@FGNCR?>GXP766,GEP76,Gy3<'I@Bé^3576 þÿ
@BCU
6Oä"5è1<O?>TäX1B<>?>T143?A@FGç3M@y@F<5E1BTi696,GjS6,143M6,P 1BTiX14S3#@Bém3576lkR.X2m T+M]X2^RJn5TN`&XoUpX2M]XO\Yq^Qr Oq&OR`SO
st YSMPO&mHY uv^&w(O\U2UpX2RNb;ES@yxM6&3 úz4ý{@FGEPEä.3M6,Ph(3576#BGE?9B69S"T?A3|2@Bé6@FäE35'åäXTM3MS"1B<>?>1Ié~@BS 3576½åäET}!
3MS"1B<>?K1BG Ý69é6,G.6~6-9?>6,G.6(1BGEPJ*R6&"5EG7@F<>@BLJS"LF1BGE?>T143?A@FG¶øjÝl6-*ÒùU.*!576·8=@BS$8J1BT!äEGEPE69S31?$B6,Gj(
1LBS@Fä@Bé3w8#@ TM3äEP76,Gy3Té~@BS3576,?ASXGE1B<>B6,14SY57@FG7@Fä7ST3ES"@yxk6&39CN1 æç1BGEPE143M@BS@Fæ)@FG76,G3@Bé)1#z
B6,14SH#1576,<A@BSÍ@Bé^:)G7LF?>GE6969S"?>G7L ?>G ßJ@Fæ)Xä73M69S~6-TM3M6,æ½T(:)G7LF?KG76969S"?>G7L 143 35767BGE?'B69S"T?>3P@Bé36@Fä735
åäETM3MS"1B<>?K1OU*.576)ES@yxM6&3Ò5E1BP¶38=@2Tä69SO?>TM@BS"TéS@Fæ 3576BGE?'B69S"T"?A3P @BéW6O@Fä735'åäETM3MS"1B<>?K1OC1BGXP'1BG
6âO3M69S"GE1B<mTä.69S?>T@BS^é~S@Fæ Ý6*ÍC78.57@)XS@O?>P76,PèS6&8äE?AS"6,æÑ6,G3T!é~@BS!35E6l?KTäE1B<>?>T"143?A@FG#X1$414LB6BUå
S6&8äE?AS6,æç6,G3Y@Bé{XGE1B<LB6,14SH@Fæ)XäE3M69S T OTM3M6,æçTÒ6,G7LF?>G76969S"?KG7LJES@yxM6&3TÒ?>T(35E143Ò3576¶æÍäETM3Yé@F<><A@r81
éjäE<><T OTM3M6,æçTÍ6,G7LF?KG76969S"?>G7L21?.ES@F15NU*.5E?>T(?>G(B@F<'B6,TÍé@BS3GE?ALF5y3<'¶æÑ69693?>G7LFTÍ8.?>35'3576 Tä69SO?>TM@BS"T9C
"5X1B?AS6,P E 3576!T3äEP76,Gy3T9CB3M@ÒPE?>T9äETTES@yxM6&3ES@BLBS6,T"T9U+7@BS"æç1B<Xæç?>Gä73M6,T@Bé¿35E6!æÑ69693?>G7LFT14S"6^31?$B6,G
*!576 TM3äXP76,G3TÑæÍäETM3ÑTä.Xæç?A3 é~@BSç1BTT6,TTæÑ6,Gy3ç1éäX<><=T693Ñ@BéP7@-9äEæÑ6,Gy3143?A@FG é@BSÑ3576JES@yxM6&335E143
?>G.9<KäEP76,Td1~ES"@yxk6&3iX<>1BGNCyS6&8äE?AS6,æÑ6,Gy3T#T 6&9?'9143?A@FGNCOP76,T?>LFGP76,TS"?'E3?A@FGmCF3M6,TM3{X<>1BGNCy3M6,TM3^T 6&9?'!
9143?A@FGNC3M6,TM3#S6@BS39CäET69S#æç1BGäE1B<tCy1BGEPTTM3M6,ææç1BGäE1B<tUE*!576.TM3äXP76,G3T#1B<>TM@ LF?'B6·1ÒTM6,æç?KGE14S)@FG3576
ES@yxM6&39CX1BGEPGES@O?>P76YP76,æç@FGETM3MS"143?A@FGXTJ@Bé1ç8=@BS$O?>G7L ES"@PEä39C85E?9"5 ?KT!1BTTM6,TT6,PJ(è?>GEPE66,GXP76,G3
191BP76,æç?Z(TM31yU.CfGë1BPEPE?A3?A@FGmCO5E@FG7@Fä7S"T^TM3äXP76,G3T.G7696,P 3M@ç8!S?A3M6(1ÑS6,TM6,14S"5GXS@@FT1B<1BGEPJX1?69S,U
*!5E6)ES@yxM6&3Y@79?>1B<><'@Fæ)ES"?KTM6,TY1J8yäX14S3M69S(@BéJ1JB6,14S&sT(8#@BS$ é~@BSÒ3576Ñ3w8#@ëTM3äEPE6,G3T9CmT@ 35E143
35763M@B31B<)6\@BS3Òé@BSÒ35X?>TES@yxM6&3Ò8J1BT @Bé#35E6½@BS"P769SÒ@Bé3J69S"TM@FG'æç@FG35ET,U¹Ý·ä7S"?>G7L 35X?>TY3?>æÑ6BCR3576
TM3äEPE6,G3T)XS@PXä.6,P 1?@Fä737?::vX14LB6,T½@BéYå3zVPE@E9äEæç6,G3143?A@FG é~@BSç35E6GES@yxM6&39U*!5E?KT X1?69Sç?>Tç1
T?ALFGX?'91BGy3ÍS"6?>T"?A@FG @Bé3576 S"6,TM6,14S"5eX1?69SÑ8!S"?A3M3M6,GFE 35E6JES"TM3Ñ1Bä7357@BSÑ3M@VéäE<9X<><35E6 S6,TM6,14S5
X1?69S^S6&8äE?AS6,æç6,G3^é@BS.57@FG7@FäES"T^TM3äEP76,Gy3T9U
*!5E6(LB@F1B<¹@Bé3576HES@yxM6&3!8J1BT.3M@ 1BPEPGO?>TäE1B<K?>T143?A@FGèéj19?><>?A3?>6,TJ3M@1 ß^à)áêæÑ@OP76,<N@Bé1BGë1?A@FGX?99T
æç?>T"T?A@FG¶T OTM3M6,æ øjå06EùUåG å06'?KTY6,TTM6,Gy3?>1B<><'¶12<A@E91B<=14S6,1@FæXä73M69SG7693w8#@BS$v@FGET?KTM3?>G7LI@Bé
106O69S"?>1B<.Ý·1431 HJäET2øA67ÝH!ùç35E143j@FGEG76&3Tè1 T693½@Bél@Fæ)@FG76,Gy3Tè?>G.9<>äEPX?>G7L1 02?>TT?>@FGß#@FGy3MS@F<
ß#@Fæ)¿ä73M69S øt0ß!ß!ùC414S"?A@FäET!T6,GETM@BS"T9CEPX?>T X<>1T,CO1BGXP GE1&O?ALF143?A@FG2T T3M6,æçT9U
*!5E6?>T"äE1B<>?>T143?>@FG3M@@F<mä73?K<>?>TM6,T#3576)11?<K?'ES"14SëúC}rýdCX3M@½T6,GEPI?>G7é@BS"æç143?>@FGè3M@ç3576
ILKNMPOQSRT?U)VXZYS[T?UXZY\TM]X^R_3T+`\aT&b(OIV_ ?K1*ßJàJÞCfàúrýdUEä7S35E69S,CR1BG 1?.X<>?Z9143?A@FGvES"@B3M@E@F<#?>T
S6&8äE?AS6,P 3M@çTä..@BS3=35E6Y6â-5E1BG7LB6(@Bé?KTäE1B<>?>T"143?A@FG7@Fæçæ½1BGEPETW693w8#696,G2þÿ&2>1BGEPè3576
:ã·àU*!576T3äEP76,Gy3T#PE6B6,<A@6,P 1BGXP?>æX<A6,æÑ6,Gy3M6,P1~ES"@B3M@E@F<é@BS#35X?>T¿ä7S@FTM6!8.5X?9"5 ?>TJT 6&9?'E6,P
?>Gè3576 6@Bé~38#14S"6ÒÝ6,T?ALFGIÝ6,TS"?9E3?A@FGVúrýdU*.576(TM3äEP76,Gy3T^é@F<><A@r8=6,PI1çS"1?X?>PjES"@B3M@B3PEX?>G7L)X14S1BPE?ALFæ C
3M@jES@?>PE6 1S@Fä7LF5ES"TM39ä73·?>æ)X<A6,æç6,G3143?A@FG23M@è3M6,TM3·@Fä73?>T"äE1B<>?>T143?>@FGI?>P76,1BT9CTM@ 35E143·é~696,P.X1$
@FäE<>P6@E31B?>G76,PéS@Fæ 3576)9äET3M@FæÑ69SøjÝl6-*(ù143Y35766,14S"<K?A6,TM3·@.@BS3äEGE?>3PBU*¹@ 1BPEPS?ALB@Fä7S·3M@
3576I1?.XS@F1"5 é@BSç3576I5E@FG7@Fä7S"T @Fæ)@FG76,Gy39C)?A38J1BTçP76&9?>P76,P 3M@S6,143M6ë1é@BS"æç1B<^æÑ@OP76,<J@Bé35E?>T
1?.X<K?99143?A@FGjES@B3M@-@F<mäET"?>G7L½ßJà)áT9U
*!5E6Xä7S@FTM6@Bé35E?>T{X1?69S!?>TJ3M@XS6,TM6,Gy3^@Fä7S!8#@BS$@FGëæÑ@PE6,<><>?>G7L 35E?>TX9Y\[-TUpXZY\TM]X^R;ES@B3M@-@F<
1BGEP3M@GB69S?Aéo 35E143Ò?>3·?KTYP76,1BPE<A@-$1BGEP'<>?9B6,<A@E$ëéS696½1BGEPg@FGEé~@BS"æ½TY3M@ë1 TM6&8ä76,G.9?>GELG@FGETM3MS"1B?>Gy39U
*!576O?>TäX1B<>?>T143?A@FG#ES"@B3M@E@F<m?KTJ3576,G 6âO3M6,GEP76,Pë1BGXP S6\!w1BGE1B<'OTM6,PNU
*!5E6~¿1?69SY?>T@BSLF1BGX?>TM6,P1BT·é~@F<K<A@b8.T,U56O6&3?A@FGv;ES@O?>P76,T·TM@Fæç6?KGET?ALF5y3?KG3M@è3576ÑGE143ä7S"6Í@Bé#1BG
å·06CN1BGEP35E6~O?>TäX1B<>?>T143?A@FGXT!35E143Y8#69S6Ñ?>æ)X<>6,æÑ6,G3M6,PmU¿ö¶6çP76,TS"?'6Ò3576)O?>TäX1B<>?>T143?A@FGES@B3M@-@F<
1BGEP ?A3TTM6&8ä76,G.9?>G7L@FGETM3MS"1B?KG3T?>G TM6&3?A@FGD21BGEP 1ßJà=á æÑ@OP76,<)@Bé.3576j?>T"äE1B<>?>T143?>@FGgES@B3M@-@F<
?>G¶TM6&3?>@FGvz7U*!5E6çæÑ@PE6,<?>TY1BGE1B<'OTM6,P'?>G¶T6&3?A@FGU6O6&3?A@FGh P76,TS"?'6,T·1BG'6,GE5E1BG6,PgES@B3M@-@F<tC
8.5E?Z"51B<><A@b8Tèþÿ&2> 3M@06 ?>GEé~@BS"æç6,P @Bé(3576Tä.6,T"T@BSèéj1B?><>ä7S"6I@Bé(6,1"5O?>TäX1B<>?>T143?A@FG
@Fæçæç1BGXPNU*!5766,GE5E1BG.6,PIßJà=á æÑ@OP76,<1BGEPè?A3TJ1BGE1B<'OT?>T#14S6ES6,TM6,Gy3M6,Pè?>GT6&3?A@FGET.û 1BGEP üCO8.?A35
@Fä7S~@FG.9<>äET?>@FGETES@?KP76,PV?>GVTM6&3?A@FGFU*!5E6çS6,1BP769SÍ?>TÒ1BTT"äEæÑ6,P'3M@6çéj1Bæç?><>?>14SY8?A35 ßJà=áT úsûbý
1BGEP2þÿ=2> úýdU
j> EðõA ¡ ñ5¢Òï£ ¤~¥ï Eð3¨VõP©4ó¦§õP©y¦ïFõdñ¹î«ª ¦ôN¬=¦5
*!576<Xä7S@FTM6Y@Bé3576Ò6â3M69S"GX1B<O?>TäE1B<K?>T143?A@FGjX1$`14LB6?>T.3M@7ES@?KP76ÒP7@Fæç1B?KGIT 6&9?'O?>TäX1B<>?>T143?A@FG
éj19?><>?A3?A6,Tçé~@BS 35761&O?A@FGE?99Tæç?>TT?>@FG»T OTM3M6,æ æÑ@PE6,<.143è1V5E?ALF5E69S,C)æÑ@BS61?XTM3MS13 <A6B6,<35E1BG3576
þÿ&2> 3M@@F< 91BGES@O?>P76BU*!576,T6 éj19?><>?A3?>6,T14S63M@jES@OPEä.6~O?>TäE1B<>?KT143?A@FGET.35E143Y14S6ÑæÑ@BS6
TM3MS@FGELF<'IS6,<>143M6,P 3M@è3576~X5(T?Z91B<RT OTM3M6,æ®6,?>G7L æÑ@PE6,<><A6,PI35X1BG ?KT91?X1?¿<A68.?A35 þÿ=2>½U
*!5E?KT?KT?Kæ)@BS31BG3·éS@Fæ 1 T OTM3M6,æ P76B6,<>@XæÑ6,Gy369ST 6&3?'B6Ñ1BTY8=6,<K<1BTÒ1 æç14S$B693?>G7LI1BGXP¶æç1BG-!
14LB6,æÑ6,Gy369S"T6&3?9B66&91BäXTM6 ?A3!?KT.<>?'$B6,<935E1BGë3576,TM6l69@X<>6(8=@FäX<>PJ6(äEG7éj1Bæç?><>?K14S!ß^à)áêT 6&9?'
@FG.6E3T,U*!576Yé@Fä7SO?>TäE1B<K?>T143?A@FGET#S6&8äE?AS"6,P3M@76(T"ä.X<>?>6,P7E35E6~IV_ 8#69S6d
¯5°p±
4U.å®X<A@-$ PE?K14LBS"1Bæ @Bé·35762å·06 1BGEP ?>3T@Fæ)@FG76,Gy3T9U=åG 6â71Bæ)X<A6 @Bé·35E?KT91BG³6ITM696,G?>G
?ALFä7S"6H4C8.5E?95½T57@r8.T=357602?>TT?>@FG ß#@FGy3MS@F<Nß#@Fæ)Xä73M69S·øt0 ß.ß!ùC(CkG769S3?K1B<Xá1&O?ALF143?A@FGG6EOTM3M6,æ
ø2Cká6XùC!å?AS Ý·1431»ß#@Fæ)¿ä73M69SVøjåÝ(ß!ùC´1BPE14S,CW´.1BPX14SIå<A3?KæÑ693M69S'ø´.åQE*ùC´.1BPE14S ö'14S"GX?>G7L
´.6&6,?'B69Sëø´mö´ùCµ6,1BPET B3 Ý·?>T X<K1&»øµBÝ(ùC0ëäX<A3?!wà)äES@FTM6½Ý·?>T X<K1&»øt02à)Ý(ùC1BGEPe669S"?>1B<
Ý·1431½HJäET øA6OÝ·H^ù@Fæ)@FG76,Gy3T^@Bé3576(å06U
U.åêPE?>14LBS1Bæ T57@r8.?>G7LÑ3576HES@BLBS6,T"T^357S@Fä7LF5E@Fä73.1çæç?KTT?A@FGNU*!5X?>T^?>T!T?Kæ)X<' 1)X14S35E14S3.8?A35I1
<>?KG76YT57@b8?>G7L3576lES"@BLBS6,TT^357S"@Fä7LF5 3576(æç?KTT?A@FGè1BT.169S6,G314LB6H6938=696,G:Ñ1BGEPv::OU
U0ë@BS6½P76931B?K<A6,P'?>G7é@BS"æç143?>@FG@FG¶35760ß!ßê1BGEP06OÝ·H¶@Fæ)@FG76,G3TÒ8.?A35E?KG235E6çå06¶1BT ?><><>äET !
3MS"143M6,P2?>GJ?ALFä7S6<U
z7U0ë6,TT14LB6ÍTM6&8yäE6,G.6<"5X14S3T!3M@½T"57@b8 ?KGETM3MS"ä.3?>@FGET^TM6,Gy3W6938=696,G@Fæ)@FG76,Gy3T!@Bé3576Òå·06U
åéjä7S35769SP76&9?KT?A@FGÍ8#1BT=æç1BP76^3M@ÒPE6,T?ALFGÑ3576I7V·_¶14S"5E?>3M6&3ä7S6!3M@l6W¸E6â7?'X<>6=6,G7@FäELF5Ñ3M@Ò1B<><A@r8
3576(äET6Y@BéPE?'69S6,Gy3WO?>TäE1B<>?KT143?A@FG <>?'ES"14S?A6,T9U(*.576YS"143?A@FGE1B<>66,5X?>GEP35E?>TJ8J1BT^35E143!3576HI7V·_D@FäE<>P
6YS6,äETM6,Pè3M@7?>T"äE1B<>?>TM6Yæç1BG(èPE?69S6,G3!TTM3M6,æ½T^S"1435769S!35X1BG xäETM3^1&O?A@FGE?99T.æç?>TT?>@FG T T3M6,æçT9U