From 00cf2e7922b509644c1d5a6451d58553edfbdf0b Mon Sep 17 00:00:00 2001
From: Henrik Tidefelt <henrikt@wolfram.com>
Date: Tue, 8 Sep 2020 21:27:05 +0200
Subject: [PATCH] Minor state machine figure updates

---
 media/hierarchical-statemachine.pdf | Bin 117758 -> 117751 bytes
 media/hierarchical-statemachine.svg | 128 ++++++++++++++--------------
 media/statemachine.pdf              | Bin 35496 -> 35496 bytes
 media/statemachine.svg              |  68 +++++++--------
 4 files changed, 98 insertions(+), 98 deletions(-)

diff --git a/media/hierarchical-statemachine.pdf b/media/hierarchical-statemachine.pdf
index 43a8ef00ee43805c0bee2b2f120ccd7cc0ee3453..c4380688584a6f4c8989005139525f30b51d7949 100644
GIT binary patch
delta 6192
zcmbtYONd=(9p~1}qc@W{lO~m>i8-xpGPZNSeD8;?+I!PUlTaFq?us}vrtvY;KqFWb
zITXc>Le;a#s_4#@C|uB`W+zq%xGmyir!I6MC|!uZ|MxiO-gDBGfg$(*Ki~iT{J#I*
zS^M{$weR0v^CC#8><_;Fmxl!7flFa489Woh1j(CQqqkO!b>7WC@WA=es&-yT)7;(s
zSM%4kr<<3KY^+-2xlzsDk(Z81!DX=3{^9uI8?w1~)IKJRWWft>1YtQ-P8uDm7b?z{
zSnX_DZ8)zcQaKg`em1k!>l@lSsZC<oym@@m{Nus#V^V1*mG?OQzC6#&x7Lo0)&t|5
z2P2yE>(|a1rlfX|et)X@TkF3aJrRtRhF4#!#uLfBswM_xzB;THpyr!ndBVU_jqgHn
z1|lw9b9emq`2oF97N)ig61c=c3dy(@!P(|FN8i5CaZrJIa*1%vDR9t+IAs_t*eUIq
z^VTZpA%kLwTR?Q~ZT#q?9hb=x8Q4sg_<|2V2^E7Nhc2>t_t<+m-t%{lKaJRX7ZB);
z%@@}V6y_qBW^eQPvt9`IzVV&k-Td8XK^qV;6W}((nH1y}E||0hK~_C1Bm(T=Ujcoj
zfr&^(+q`$;#+8&b6doBI^B%@%q-_jPM#MlJAcy03#k9n4AbI5(A}hURMmIls=*2n`
z9zZl$z`<bU7`c*SWDQ^>uZ9j3Vg;Quyq|fr2oe?rloOq9kzof$iTl+TtLoF^S@ZhI
zr?vt|ZGlrjL2#~>YJPfhdIA(K$ZDd6LUKv#><>@*Ehl9>3ky&dQi=K1Q(L2jgmH#R
z4Q5s_RPkZuk($sy!OfcwvloB}3cdx>AzxH*T&D7pvU>j3_+_eGMZYpHttDDP$1B0$
zwR6fNO2}Fck7?wX^I91@cOUx0iWPo*aW=d4M)gWH34vKy39bkxH0Rz^U1`pYP*Nc}
ziV1^q;?2vuSDNPRvnw%qo9kw~o<O{XNs<Q!4UxPBAwh2|M6X3C$N^}WKw6L}5{U{?
zF^wX)4|Np6-+l*uK(MK*G6B>@UIHX`byPpWQ64df2T+q-koW{b8v(9~mxRtxAxTOA
z=#nN0B(<ZS`Dn5sGf6-cuw4;hbU_kW00}>qFM(;@{M<ZJoMo7&;OC<enrOwGMgat(
z(#*L^Am`CQ%drHKUKE%7l|aFaDuhvy%&_|%^ZC{BxcQPkG5`I!mDMv|Da~CfZ4;0e
z@F#U&j1(J#{LJ}<AP0eQ6VG7kkmk#9fuI<&zl9vSMzp##5Sgi47<C?SJ|N|@{FXXu
z1LFk(24^Mh0Hxl9Oo)^jihSv8h6AdvrBpSQ6u@Kx4Fe1qz)5U^Ta_Yd3uVUW2Ct4U
z-jvnN+ts)*LVHA&biPP1%8jCvbBVN9pGgtTQj->lFkrMLj$opZ6_~VA1jnLS7PSO5
zd-~C4e|u6n&bYCPdT8V&gok))m}o!Frjq^7_Chp2UKqu$N}Z#JXhGx2_bq5KgnW!>
ziz4ZZ2_X_9dI8lYtYbEXLct5dq9LK1EwGG;&JX#-K@1PIg_c9|TjKx0jzN@1&Y15#
z_3O2dU^%fE2pGCrVX=t)mD_-sK`V*Tn1nICzbiY3?CiKo37SHOmGcZ`k)ZTjfS1U4
ztO2U|nK@mjwq1xaM0-@_&`Wg^R+y1s*zAzAqI`*CKqZRwJ1T%v5t7&|Y^FffAlH*J
z>G%E<Sxf?x_(ZaxSo3Ff@+&U7qBV^CQaOiiPW?kV5*P4WGvi6cXnleX$aj+GZwK^^
zswh##bBS5|6G8ao1#J~g8%27AfK`&XAX_AS7-ugnB3i{595)LwptXsnH>P@tLV=T3
zn2~YWDiEyDh{cC%BJ>#Be1R~*WGL+)Ai*F?rUF7+#|E5@EpRcngUMhto<be%ERu>6
zkn;c*;XQq3{$=~)(FGH<K)z#iK%u;;V^t9xT*xiaKqVXDztfJ;9kKvx1+xnlXle)=
z4I)d@Xb4D5IFnW`EaLRPk0YZ%SbC5TR5STAs){lcWtb5XLXe_pHj!BYO%?_Q?SUx0
zfN>F_Eg+F&hd^&hoxMfn$aQBTf-VA>WH4M)v&1b1z910QOij2u9uY}n9~Zk8f!!l+
zc9}!bf%tDMFp$k>^||@yKKA*QN3e_<8g3A&t+rIo$_XVr((Y>W_;b&+zTe(K|DuhP
zHjYDFd0HU;6quwcVao__?mf3&$HQ@p#q@wdn7~;|IvfSUyvf3cbXiH~)9)k|ry?he
zv;a><3fic7)+YW$$0QL6FYD;bcs`Lv_4AM~V=5Yu7me=s1a&FV6KGk++NjzkBiS1_
z4n(2*asV|7MPYN)Cf$g8^QY<6)7Z>3)&r19S|*TTm=s)iOU?Fb^S#-E$3^5qCvZ2&
zF3(W<f*FApl72gZC{w02pSrwSQ*We+o4-W}26@=xux=HTCTJ9}Z$F<)P&O)mBda>H
zMShFF%i46~wJ+TM>gzX}e@-{%_b%NWJ*ouuauh^suaM|Q9yf0qx8Ls43w4T&n$Twi
zw`iWh{EgO3k#(iZxQnYI3?A1g=9UIUN41^w7Dmykl|mSAYUrQEV7j;gEEc!m5@{Bm
zxGn*m)y?0hTl2qNer2?s?*Z}dZ!k_VVrfUU2AdMJ;4})fGa-ii7grX-9m?`wt_RC-
zfsp;mRRyB15@LgCG1#iefy*%63eha2f(uoZ_F_QsuDIWwjqpL#n0%JL1I9gr_TEg5
zhJwtc*9}O@a#kYP{Be5rTU*zDxpi%H_8T=)3!4SP`dT%PKe)%6MIRRgZX3OGft~@D
zahMFaU-fYw{_Wv}K*J|o-3i969(TjuK`GJk`Z$MMMGuFK(GPHVXzJszM=cprgOAVw
zOKOjyk!b0CoTJpHf33GLA8`rn<2<@X59butr9RHudT`K-p~YTfXX+7qyp8m6fe#G{
zf)9)f0*_pgU)@;(Z@B?O#Rr0eLT~CRgGJ#!xS`T`TUb5^|KnCMbZbCa4um+AM_;hV
z@;AWY4${X#>mkm$x`)KA1I=cc7+s;KHRlrVmi>4FH;6HCcoFII!vjgi)urqtJ#Y;U
zYAl+4VsjtCcrYEDL(=qdf}^o4@vC76$K$~g5;$~<Ar3>Le-2Mr1Dqa|u|&QN&lw>r
zs=tMD!i^noBYm75)G;27v5580xk2-hi05*`A#`|ZX$`J(*8>hWrXE9ShVDl=2O&|o
zdiH7In1O;=m|MYFZjF9DOb}(Ull7Fr19ZO=;;9-hk;~^Ww`~8M#fwK@K|H@w|G4w`
zJEPO}?2@$TJD0S@K{s=|awgPtcZP))kHK!bYwa#xwb3Wl)J*Z`{A|}<Hg@LG$o1|g
cs%QTn7DtH3onO5(vJc8Ie)7rP>zBv>122sFhyVZp

delta 6064
zcmbtYNsJs<8CHWm<7qGP8ssH$899?qoPK`$0%38_cw(E#QN#fWID`x#IgDe#AR-pE
zB61I;4t<Ic7q|cd^#M*qJ_NE!5$A|YZXA#m6bUIvi0^+(RZUfVqEGez?|=Wkz5e%N
z^}mbNpWRw@5<f0~{=@f=aVDhD)>bk&7L;?r)Hg>j?-f!SyZq!Q)<-Lf)33gL_`~`i
zs~76)dk(B<7lQQlQ+uu-<Vp%Bs_h%&i!aFf-Tn5QFp_z$oV0}H3|~fv>ahx+T~?1A
zw%TxBO{H?o81GCyTY2Ju5Ih8v7}hTyn$~yL#^<C`%zJ4JzdO$}%Ok4?NBca3ImX#~
zec!dSnz;Z~^j&T(U*7lD=)8|wRX?c4Q)sTLsWD83>PFRp>Yt3|QEh|~zM2ZfnYT7r
zUEdzRx<0rslx31P3=+7DgA{@}r=9op8~eK)RAA1+CBiZ3!9g3Qp;3hEACE7d(4JYV
zLL>@M&?qb5_XEF}bkykHA}-S|Td)zwEi=-npuxK3^4`IZa<rH49lAh~4<2DYaQN|k
z8U{=5c>UDj&HJoU_O8)g-ah=!=%H2_5ezc{PBWBi<P<I#Zf6AC!tNDPGuXjBnJx{3
zYdxI%(a~qFq?DoHP=-1%QkpYuh*3twFzpmjF)i^e8M4wdB#iVH^!2ZgJwA^YcOY8B
z{cx+&mdFrL%d7!xfG1rMU`3)5yq$S82oe?r6pErsX4ryJ;&%01RegCptG|2v;Un6j
zvcSm)xW#+8^tZ<^9aUN?35~Q+3`r)0dgX*aBArXLh6O2+am%YGj*K2`o$Cw}q^E@(
z4VQRI%mUXh-pd{n4EgT`8S5m70(UMImz34!&GC~|w~D?pFAd+|sNt1h@OtEg*Ng|p
zwS%4-8G(MG#L|80?|Yrp<BPM|%@?Y#!FwF_<Ao1Y+tM=OjYhzx6gLZlMI{x38p4|T
zHGQRi<-SMvMw9A0S0?kRmN8!>_sqrQEeIJC2;plGib>)NCr~0IaVU7G5K6BMZdcO~
zm_(2>g2K-wQ=J=v!x+@HgkE#v*dn4x@W>dHCDe~B;uTT}j50$hnFX69F9Eok^hqEo
zAGOV-$&$<^0@EtVpo`HF2`m6mke5ziR$ZOFe~#*c<qjds2N9ZT#T-Woc!UAba<W3x
zv1rwWEP<pF0^{;2fr6o5=ZjH?%&`5A8U3yC_?hRwd8@uYxo7##**z<#k)zs%RN%<%
z*tpQY1V^C%_JympUhf3Desz66h3`fs0(v$zIRwr$5VR1yg&fuJxw9whJL~%?Mr|KK
zhQaFsUJr;ql0b{*T7tF#+gKRoG_|C1Gec24(PlU>Pn^<Cg+d}Jq$(9t1c^9_O>k*#
zGG1*UVqE{`!PE0VbydtoKLjk$#0;_%S)$2Yiy;ZfkThbST$5n59nLW-%lQt@15*U&
z+ljhx?m`r?dTX+A)<R+HB(fqg69QJoj)<MW%lgmyTK%udXWNQIp!ON+n6|5ZMid2w
z@mL=keTBt<;W1vne`sw^GATbB>V$~4Q~6l<fG#KFh1CoVtF=BOTJsx3w4c;39FobR
z@K4}Mg6m6@Gs~|&{MzcLMNn8Xkm43IP`T7LrRK6y5RL6Y$9#QBcJuYyX3tbr2sGk<
zqjDaNHACrJK$y>XAu;R7{CVog<yM9yLvM660HQ!wxIs9YbLB9wY&nS?UZor9J8A%`
z2qD!_`soG=2=gv!lfJj-Sxf?x_;jVKST5&_&&ulATh%ymAn!DWM!-2HP!T9h*ol#Z
zeAOfox<qdzXouV>P{?$49?cSmSm^S#NSL@ap9sw9`g{8PIu{OY3bT=8fM82Ci4_(&
z)C3J<qd7J^>LshD7aJr{B*9KoqEq0c9i}8YrpdZu9HOvOjLJEQrM+)AOjaXFu^VIC
z%60?Nw1gDP3tVh(VKSaf%D1D<$-q$LtVDYQd13jq{pDz4^W4XJ+^px?VIy&#ik%!0
zvLmk5-}l{GMUu|p2#tinV$+yH<C>ck3#2XP0gUqGT@!~nl1NrQ4h)<{2ulyPMjMAm
zM4<dIcW7<O6cSxY#_N$;0Ws{OFfeEcBBFq_h(LG)V%^pv7E6mF3!#1wf$_pP?KcLM
zf-MhLq|Cr(NbRyEj|kG3)+xHsAP_gq=!QcwA-VLP4g*pkM&v7>d3x_jhph(-7Hyi^
zQf*>K^2pD$z?}MGCl@bphDQzRE$*ltAbyHCTjFOL->2qreJ%76!1jqP1KFMh;pGID
zQ6`L>b`H{mCDEtv#0XT0EpnV5EW`@457R%gN}p)3z|ZqRhrXjxuQSBkdD&>cr*V?`
zIJpp7bn?7tM3S;*bWV1l2C5?7IM(uMzG6f8@De*Iuwl}qLbPe2K<Z&c1RiKiU9Df5
zb^KocbGA0Y{&yppNR)sg%P9>Mp1&P*b1~b}8MRSLwJrpMJa!4>DK;p0lGbN54@~Cm
z!ZAWfu+AA-)n4oJ>wY(@Q~jmMk>y`Eo*SL!+DJ~>Rjd>e&%faDKuinr<*uFoxjeoA
zwTi|>3owZgv?$~t<AH^R&38-{2IWINJrgG|8!L>W{K(eQYYk7>Vr~YDy$zTQ&R2JF
z-38RM$*JZ0TVEed@&h2g`SI%Gc;v?2l;d#&+1UBfDUB1+?%!Q$?Y>~?5!pNn(gs}M
z0%4)!p(+smGr;0WL%6}9QPC2!8^&rwk3fmpk3}*q!+@y7;eduV!aGS_qAoBVob-0c
zx8sfsC`!tAR}x5B{nNE;e_XpZy8lOWbdmJG!}HZResHg`iS=*+f6okX7ENzAo!|=Z
z)jkdk`#2$BBGD~=_4?@0=LUDs(^UVCbXeYcyp>jF@xkk(V?!1iyH%fD2RzDqEbs?}
zU0nLh=-7OqB?e&MJJ34}*g9nfcb!Erd!jrtbbzCOy&~PbDj~p|6$7t#Iq;$GK_HL%
zbf~uh4rwvKDY4tQIp<hN@ow)k)Og1Za7F7@>45)$26Pq^wtv@QiVSdG&Id@0wjmDd
zfB$m8OdR0Qrg!7;&cLI!kHdd18F#L@AOA@Xv<A-j#dqF7ru7YyT;*iujWf_k@o?(P
z!XIsm+h8%sG|4S?x<0ud1XALK-}fDGZg3YpZD6X9c$h{Rhgv-aHju?P-u##XqW@!u
zJPiKl>FFu(PFef`Eat-_JB)&GgBF1oUoRIq$6v$PTzaCA#seABVCU+aC4=ybC*S%w
zS1Uc#Nf|7(Jy{Bqet@&Iy3nunApSw?7d14;wioGIS8L1@wfF!!o#^w0vX(DSzCAiK
z_hH62HJ%?rZ{pv#jg761&5bRoW}DLM;KFRnxyzi-Ho3UGsW<%$bV^^sQeu!U8|w4b
aqyG<!J;Y=2r?*FTP1*4S4_tm?Yy3YWm+%b$

diff --git a/media/hierarchical-statemachine.svg b/media/hierarchical-statemachine.svg
index a00e37cee..581605047 100644
--- a/media/hierarchical-statemachine.svg
+++ b/media/hierarchical-statemachine.svg
@@ -1,55 +1,55 @@
 <?xml version="1.0" standalone="yes"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
   "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="16.0282cm" height="17.209cm" viewBox="-156.406 -37.6933 454.343 487.815" stroke-width="0.3" stroke-miterlimit="10" font-family="Helvetica" font-size="9">
+<svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="16.0345cm" height="17.2432cm" viewBox="-156.406 -37.6933 454.521 488.783" stroke-width="0.478125" stroke-miterlimit="10" font-family="Helvetica" font-size="9">
  <g transform="scale(1.0, -1.0)">
-  <text transform="matrix(1 0 0 1 66.5123 -11.9963)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">state1</tspan></text>
+  <text transform="matrix(1 0 0 1 66.5568 -11.9963)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">state1</tspan></text>
   <text transform="matrix(1 0 0 1 -12.843 -75.5721)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">stateA</tspan></text>
   <use transform="matrix(1 0 0 1 -79.3701 -99.1243)" xlink:href="#g4" />
   <path transform="matrix(1 0 0 1 0 -71.8959)" d="M85.04 -35.30V-5.72C85.04 0.54 79.96 5.62 73.70 5.62H-73.70C-79.96 5.62 -85.04 0.54 -85.04 -5.72V-35.30C-85.04 -41.56 -79.96 -46.64 -73.70 -46.64H73.70C79.96 -46.64 85.04 -41.56 85.04 -35.30z" fill="none" stroke="#5f5f5f" />
-  <text transform="matrix(1 0 0 1 -12.7215 -156.48)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">stateB</tspan></text>
-  <use transform="matrix(1 0 0 1 -79.3701 -180.032)" xlink:href="#g5" />
-  <path transform="matrix(1 0 0 1 0 -152.804)" d="M85.04 -35.30V-5.72C85.04 0.54 79.96 5.62 73.70 5.62H-73.70C-79.96 5.62 -85.04 0.54 -85.04 -5.72V-35.30C-85.04 -41.56 -79.96 -46.64 -73.70 -46.64H73.70C79.96 -46.64 85.04 -41.56 85.04 -35.30z" fill="none" stroke="#5f5f5f" />
-  <text transform="matrix(1 0 0 1 -12.9645 -237.559)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">stateC</tspan></text>
-  <use transform="matrix(1 0 0 1 -79.3701 -261.111)" xlink:href="#g6" />
-  <path transform="matrix(1 0 0 1 0 -233.883)" d="M85.04 -35.30V-5.55C85.04 0.71 79.96 5.79 73.70 5.79H-73.70C-79.96 5.79 -85.04 0.71 -85.04 -5.55V-35.30C-85.04 -41.56 -79.96 -46.64 -73.70 -46.64H73.70C79.96 -46.64 85.04 -41.56 85.04 -35.30z" fill="none" stroke="#5f5f5f" />
-  <text transform="matrix(1 0 0 1 -12.933 -318.467)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">stateD</tspan></text>
-  <path transform="matrix(1 0 0 1 0 -314.79)" d="M85.04 -11.34V-5.72C85.04 0.54 79.96 5.62 73.70 5.62H-73.70C-79.96 5.62 -85.04 0.54 -85.04 -5.72V-11.34C-85.04 -17.60 -79.96 -22.68 -73.70 -22.68H73.70C79.96 -22.68 85.04 -17.60 85.04 -11.34z" fill="none" stroke="#5f5f5f" />
+  <text transform="matrix(1 0 0 1 -12.7215 -156.658)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">stateB</tspan></text>
+  <use transform="matrix(1 0 0 1 -79.3701 -180.21)" xlink:href="#g5" />
+  <path transform="matrix(1 0 0 1 0 -152.982)" d="M85.04 -35.30V-5.72C85.04 0.54 79.96 5.62 73.70 5.62H-73.70C-79.96 5.62 -85.04 0.54 -85.04 -5.72V-35.30C-85.04 -41.56 -79.96 -46.64 -73.70 -46.64H73.70C79.96 -46.64 85.04 -41.56 85.04 -35.30z" fill="none" stroke="#5f5f5f" />
+  <text transform="matrix(1 0 0 1 -12.9645 -237.915)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">stateC</tspan></text>
+  <use transform="matrix(1 0 0 1 -79.3701 -261.467)" xlink:href="#g6" />
+  <path transform="matrix(1 0 0 1 0 -234.239)" d="M85.04 -35.30V-5.55C85.04 0.71 79.96 5.79 73.70 5.79H-73.70C-79.96 5.79 -85.04 0.71 -85.04 -5.55V-35.30C-85.04 -41.56 -79.96 -46.64 -73.70 -46.64H73.70C79.96 -46.64 85.04 -41.56 85.04 -35.30z" fill="none" stroke="#5f5f5f" />
+  <text transform="matrix(1 0 0 1 -12.933 -319.001)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">stateD</tspan></text>
+  <path transform="matrix(1 0 0 1 0 -315.325)" d="M85.04 -11.34V-5.72C85.04 0.54 79.96 5.62 73.70 5.62H-73.70C-79.96 5.62 -85.04 0.54 -85.04 -5.72V-11.34C-85.04 -17.60 -79.96 -22.68 -73.70 -22.68H73.70C79.96 -22.68 85.04 -17.60 85.04 -11.34z" fill="none" stroke="#5f5f5f" />
   <use transform="matrix(1 0 0 1 0 -71.8959)" xlink:href="#g17" />
   <use transform="matrix(1 0 0 1 0 -71.8959)" xlink:href="#g18" />
-  <path transform="matrix(1 0 0 1 0 -71.8959)" d="M-2.83 -55.29H2.83" fill="none" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 -37.4515 -130.867)" xlink:href="#g16" />
+  <path transform="matrix(1 0 0 1 0 -71.8959)" d="M-2.83 -55.38H2.83" fill="none" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 -37.5296 -130.956)" xlink:href="#g16" />
   <use transform="matrix(1 0 0 1 0 -71.8959)" xlink:href="#g19" />
-  <path transform="matrix(1 0 0 1 0 -71.8959)" d="M-2.83 -136.20H2.83" fill="none" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 -37.4515 -211.775)" xlink:href="#g14" />
+  <path transform="matrix(1 0 0 1 0 -71.8959)" d="M-2.83 -136.47H2.83" fill="none" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 -37.5296 -212.042)" xlink:href="#g14" />
   <use transform="matrix(1 0 0 1 0 -71.8959)" xlink:href="#g20" />
-  <path transform="matrix(1 0 0 1 0 -71.8959)" d="M39.76 -217.28H45.43" fill="none" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 48.664 -292.854)" xlink:href="#g12" />
+  <path transform="matrix(1 0 0 1 0 -71.8959)" d="M39.80 -217.73H45.47" fill="none" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 48.7866 -293.299)" xlink:href="#g12" />
   <use transform="matrix(1 0 0 1 0 -71.8959)" xlink:href="#g21" />
-  <path transform="matrix(1 0 0 1 0 -71.8959)" d="M-45.43 -217.28H-39.76" fill="none" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 -36.5254 -292.854)" xlink:href="#g2" />
+  <path transform="matrix(1 0 0 1 0 -71.8959)" d="M-45.47 -217.73H-39.80" fill="none" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 -36.4918 -293.299)" xlink:href="#g2" />
   <text transform="matrix(1 0 0 1 185.609 -132.265)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">stateX</tspan></text>
   <use transform="matrix(1 0 0 1 119.055 -174.886)" xlink:href="#g7" />
   <path transform="matrix(1 0 0 1 198.425 -128.589)" d="M85.04 -73.44V-5.72C85.04 0.54 79.96 5.62 73.70 5.62H-73.70C-79.96 5.62 -85.04 0.54 -85.04 -5.72V-73.44C-85.04 -79.70 -79.96 -84.78 -73.70 -84.78H73.70C79.96 -84.78 85.04 -79.70 85.04 -73.44z" fill="none" stroke="#5f5f5f" />
-  <text transform="matrix(1 0 0 1 185.587 -251.31)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">stateY</tspan></text>
-  <use transform="matrix(1 0 0 1 119.055 -274.862)" xlink:href="#g8" />
-  <path transform="matrix(1 0 0 1 198.425 -247.634)" d="M85.04 -35.30V-5.72C85.04 0.54 79.96 5.62 73.70 5.62H-73.70C-79.96 5.62 -85.04 0.54 -85.04 -5.72V-35.30C-85.04 -41.56 -79.96 -46.64 -73.70 -46.64H73.70C79.96 -46.64 85.04 -41.56 85.04 -35.30z" fill="none" stroke="#5f5f5f" />
+  <text transform="matrix(1 0 0 1 185.587 -251.488)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">stateY</tspan></text>
+  <use transform="matrix(1 0 0 1 119.055 -275.04)" xlink:href="#g8" />
+  <path transform="matrix(1 0 0 1 198.425 -247.812)" d="M85.04 -35.30V-5.72C85.04 0.54 79.96 5.62 73.70 5.62H-73.70C-79.96 5.62 -85.04 0.54 -85.04 -5.72V-35.30C-85.04 -41.56 -79.96 -46.64 -73.70 -46.64H73.70C79.96 -46.64 85.04 -41.56 85.04 -35.30z" fill="none" stroke="#5f5f5f" />
   <use transform="matrix(1 0 0 1 0 -71.8959)" xlink:href="#g22" />
   <use transform="matrix(1 0 0 1 0 -71.8959)" xlink:href="#g23" />
-  <path transform="matrix(1 0 0 1 0 -71.8959)" d="M195.59 -150.12H201.26" fill="none" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 124.361 -225.697)" xlink:href="#g13" />
+  <path transform="matrix(1 0 0 1 0 -71.8959)" d="M195.59 -150.21H201.26" fill="none" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 124.283 -225.786)" xlink:href="#g13" />
   <use transform="matrix(1 0 0 1 -127.559 -20.8723)" xlink:href="#g9" />
-  <path d="M297.79 -340.45V-2.83C297.79 3.42 292.71 8.50 286.45 8.50H-130.39C-136.65 8.50 -141.73 3.42 -141.73 -2.83V-340.45C-141.73 -346.71 -136.65 -351.79 -130.39 -351.79H286.45C292.71 -351.79 297.79 -346.71 297.79 -340.45z" fill="none" stroke="#5f5f5f" />
-  <text transform="matrix(1 0 0 1 65.8463 -389.599)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">state2</tspan></text>
-  <use transform="matrix(1 0 0 1 -1.34232 -413.151)" xlink:href="#g3" />
-  <path transform="matrix(1 0 0 1 78.0278 -385.923)" d="M85.04 -35.30V-5.85C85.04 0.40 79.96 5.49 73.70 5.49H-73.70C-79.96 5.49 -85.04 0.40 -85.04 -5.85V-35.30C-85.04 -41.56 -79.96 -46.64 -73.70 -46.64H73.70C79.96 -46.64 85.04 -41.56 85.04 -35.30z" fill="none" stroke="#5f5f5f" />
+  <path d="M297.88 -341.08V-2.83C297.88 3.42 292.80 8.50 286.54 8.50H-130.39C-136.65 8.50 -141.73 3.42 -141.73 -2.83V-341.08C-141.73 -347.33 -136.65 -352.41 -130.39 -352.41H286.54C292.80 -352.41 297.88 -347.33 297.88 -341.08z" fill="none" stroke="#5f5f5f" />
+  <text transform="matrix(1 0 0 1 65.8908 -390.4)scale(1.0, -1.0)" xml:space="preserve" opacity="1"><tspan x="0" y="0">state2</tspan></text>
+  <use transform="matrix(1 0 0 1 -1.29779 -413.953)" xlink:href="#g3" />
+  <path transform="matrix(1 0 0 1 78.0723 -386.724)" d="M85.04 -35.30V-5.85C85.04 0.40 79.96 5.49 73.70 5.49H-73.70C-79.96 5.49 -85.04 0.40 -85.04 -5.85V-35.30C-85.04 -41.56 -79.96 -46.64 -73.70 -46.64H73.70C79.96 -46.64 85.04 -41.56 85.04 -35.30z" fill="none" stroke="#5f5f5f" />
   <use xlink:href="#g24" />
   <use xlink:href="#g25" />
-  <path d="M75.19 -360.44H80.86" fill="none" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 -71.0378 -372.449)" xlink:href="#g11" />
+  <path d="M75.24 -361.16H80.91" fill="none" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 -70.9933 -373.24)" xlink:href="#g11" />
   <use xlink:href="#g26" />
-  <path d="M75.19 -441.22H80.86" fill="none" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 84.097 -444.894)" xlink:href="#g15" />
+  <path d="M75.24 -442.11H80.91" fill="none" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 84.2197 -445.784)" xlink:href="#g15" />
   <use transform="matrix(1 0 0 1 -155.906 28.3465)" xlink:href="#g10" />
  </g>
  <defs>
@@ -728,14 +728,14 @@
 </g>
 </g>
 </g>
-  <g id="g17" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M0.00 28.45C0.00 28.45 0.00 15.59 0.00 9.24" />
-   <path d="M2.83 28.45C2.83 30.01 1.56 31.28 0.00 31.28C-1.56 31.28 -2.83 30.01 -2.83 28.45C-2.83 26.88 -1.56 25.61 0.00 25.61C1.56 25.61 2.83 26.88 2.83 28.45z" fill="#b0b0b0" stroke="none" />
-   <path d="M0.00 5.77C0.00 5.77 -0.92 8.30 -2.13 11.61H0.00H2.13C0.92 8.30 0.00 5.77 0.00 5.77z" fill="#b0b0b0" stroke="none" />
+  <g id="g17" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M0.00 28.54C0.00 28.54 0.00 15.83 0.00 9.44" />
+   <path d="M2.83 28.54C2.83 30.10 1.56 31.37 0.00 31.37C-1.56 31.37 -2.83 30.10 -2.83 28.54C-2.83 26.97 -1.56 25.70 0.00 25.70C1.56 25.70 2.83 26.97 2.83 28.54z" fill="#b0b0b0" stroke="none" />
+   <path d="M0.00 5.86C0.00 5.86 -0.92 8.39 -2.13 11.70H0.00H2.13C0.92 8.39 0.00 5.86 0.00 5.86z" fill="#b0b0b0" stroke="none" />
   </g>
-  <g id="g18" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M0.00 -46.79C0.00 -46.79 0.00 -64.10 0.00 -71.67" />
-   <path d="M0.00 -75.14C0.00 -75.14 -0.89 -72.70 -2.13 -69.30H0.00H2.13C0.89 -72.70 0.00 -75.14 0.00 -75.14z" fill="#b0b0b0" stroke="none" />
+  <g id="g18" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M0.00 -46.88C0.00 -46.88 0.00 -64.03 0.00 -71.65" />
+   <path d="M0.00 -75.23C0.00 -75.23 -0.89 -72.79 -2.13 -69.39H0.00H2.13C0.89 -72.79 0.00 -75.23 0.00 -75.23z" fill="#b0b0b0" stroke="none" />
   </g>
   <g id="g16" transform="translate(-72, 77.968)scale(1.0, -1.0)">
 <defs>
@@ -785,9 +785,9 @@
 </g>
 </g>
 </g>
-  <g id="g19" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M0.00 -127.70C0.00 -127.70 0.00 -145.01 0.00 -152.58" />
-   <path d="M0.00 -156.05C0.00 -156.05 -0.89 -153.61 -2.13 -150.20H0.00H2.13C0.89 -153.61 0.00 -156.05 0.00 -156.05z" fill="#b0b0b0" stroke="none" />
+  <g id="g19" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M0.00 -127.97C0.00 -127.97 0.00 -145.11 0.00 -152.74" />
+   <path d="M0.00 -156.31C0.00 -156.31 -0.89 -153.87 -2.13 -150.47H0.00H2.13C0.89 -153.87 0.00 -156.31 0.00 -156.31z" fill="#b0b0b0" stroke="none" />
   </g>
   <g id="g14" transform="translate(-72, 77.968)scale(1.0, -1.0)">
 <defs>
@@ -829,9 +829,9 @@
 </g>
 </g>
 </g>
-  <g id="g20" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M42.59 -208.78C42.59 -208.78 42.59 -226.09 42.59 -233.65" />
-   <path d="M42.59 -237.12C42.59 -237.12 41.71 -234.68 40.47 -231.28H42.59H44.72C43.48 -234.68 42.59 -237.12 42.59 -237.12z" fill="#b0b0b0" stroke="none" />
+  <g id="g20" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M42.64 -209.22C42.64 -209.22 42.64 -226.37 42.64 -233.99" />
+   <path d="M42.64 -237.57C42.64 -237.57 41.75 -235.13 40.51 -231.73H42.64H44.77C43.53 -235.13 42.64 -237.57 42.64 -237.57z" fill="#b0b0b0" stroke="none" />
   </g>
   <g id="g12" transform="translate(-72, 77.968)scale(1.0, -1.0)">
 <defs>
@@ -897,9 +897,9 @@
 </g>
 </g>
 </g>
-  <g id="g21" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M-42.59 -208.78V-220.12C-42.59 -223.25 -45.14 -225.79 -48.26 -225.79H-99.21C-102.34 -225.79 -104.88 -223.25 -104.88 -220.12V17.01C-104.88 20.14 -102.34 22.68 -99.21 22.68H-48.26C-45.14 22.68 -42.59 20.14 -42.59 17.01C-42.59 17.01 -42.59 12.54 -42.59 9.24" />
-   <path d="M-42.59 5.77C-42.59 5.77 -43.70 8.80 -44.72 11.61H-42.59H-40.47C-41.49 8.80 -42.59 5.77 -42.59 5.77z" fill="#b0b0b0" stroke="none" />
+  <g id="g21" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M-42.64 -209.22V-220.56C-42.64 -223.69 -45.18 -226.23 -48.31 -226.23L-93.54 -226.23C-96.67 -226.23 -99.21 -223.69 -99.21 -220.56L-99.21 17.01C-99.21 20.14 -96.67 22.68 -93.54 22.68L-48.31 22.68C-45.18 22.68 -42.64 20.14 -42.64 17.01C-42.64 17.01 -42.64 12.70 -42.64 9.44" />
+   <path d="M-42.64 5.86C-42.64 5.86 -43.74 8.90 -44.77 11.70L-42.64 11.70L-40.51 11.70C-41.53 8.90 -42.64 5.86 -42.64 5.86z" fill="#b0b0b0" stroke="none" />
   </g>
   <g id="g2" transform="translate(-72, 78.274)scale(1.0, -1.0)">
 <defs>
@@ -1482,14 +1482,14 @@
 </g>
 </g>
 </g>
-  <g id="g22" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M198.43 -28.25C198.43 -28.25 198.43 -41.10 198.43 -47.45" />
-   <path d="M201.26 -28.25C201.26 -26.68 199.99 -25.41 198.43 -25.41C196.86 -25.41 195.59 -26.68 195.59 -28.25C195.59 -29.81 196.86 -31.08 198.43 -31.08C199.99 -31.08 201.26 -29.81 201.26 -28.25z" fill="#b0b0b0" stroke="none" />
-   <path d="M198.43 -50.92C198.43 -50.92 197.51 -48.40 196.30 -45.08H198.43H200.55C199.35 -48.40 198.43 -50.92 198.43 -50.92z" fill="#b0b0b0" stroke="none" />
+  <g id="g22" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M198.43 -28.16C198.43 -28.16 198.43 -40.87 198.43 -47.26" />
+   <path d="M201.26 -28.16C201.26 -26.59 199.99 -25.32 198.43 -25.32C196.86 -25.32 195.59 -26.59 195.59 -28.16C195.59 -29.72 196.86 -30.99 198.43 -30.99C199.99 -30.99 201.26 -29.72 201.26 -28.16z" fill="#b0b0b0" stroke="none" />
+   <path d="M198.43 -50.83C198.43 -50.83 197.51 -48.31 196.30 -44.99H198.43H200.55C199.35 -48.31 198.43 -50.83 198.43 -50.83z" fill="#b0b0b0" stroke="none" />
   </g>
-  <g id="g23" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M198.43 -141.62C198.43 -141.62 198.43 -158.93 198.43 -166.50" />
-   <path d="M198.43 -169.97C198.43 -169.97 197.54 -167.53 196.30 -164.13H198.43H200.55C199.31 -167.53 198.43 -169.97 198.43 -169.97z" fill="#b0b0b0" stroke="none" />
+  <g id="g23" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M198.43 -141.71C198.43 -141.71 198.43 -158.86 198.43 -166.48" />
+   <path d="M198.43 -170.06C198.43 -170.06 197.54 -167.62 196.30 -164.22H198.43H200.55C199.31 -167.62 198.43 -170.06 198.43 -170.06z" fill="#b0b0b0" stroke="none" />
   </g>
   <g id="g13" transform="translate(-72, 77.968)scale(1.0, -1.0)">
 <defs>
@@ -2033,14 +2033,14 @@
 </g>
 </g>
 </g>
-  <g id="g24" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M78.03 31.33C78.03 31.33 78.03 18.48 78.03 12.12" />
-   <path d="M80.86 31.33C80.86 32.90 79.59 34.17 78.03 34.17C76.46 34.17 75.19 32.90 75.19 31.33C75.19 29.77 76.46 28.50 78.03 28.50C79.59 28.50 80.86 29.77 80.86 31.33z" fill="#b0b0b0" stroke="none" />
-   <path d="M78.03 8.65C78.03 8.65 77.11 11.18 75.90 14.50H78.03H80.15C78.95 11.18 78.03 8.65 78.03 8.65z" fill="#b0b0b0" stroke="none" />
+  <g id="g24" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M78.07 31.42C78.07 31.42 78.07 18.71 78.07 12.32" />
+   <path d="M80.91 31.42C80.91 32.98 79.64 34.25 78.07 34.25C76.51 34.25 75.24 32.98 75.24 31.42C75.24 29.86 76.51 28.59 78.07 28.59C79.64 28.59 80.91 29.86 80.91 31.42z" fill="#b0b0b0" stroke="none" />
+   <path d="M78.07 8.74C78.07 8.74 77.15 11.27 75.95 14.58H78.07H80.20C78.99 11.27 78.07 8.74 78.07 8.74z" fill="#b0b0b0" stroke="none" />
   </g>
-  <g id="g25" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M78.03 -351.94C78.03 -351.94 78.03 -369.25 78.03 -376.82" />
-   <path d="M78.03 -380.29C78.03 -380.29 77.14 -377.85 75.90 -374.45H78.03H80.15C78.92 -377.85 78.03 -380.29 78.03 -380.29z" fill="#b0b0b0" stroke="none" />
+  <g id="g25" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M78.07 -352.65C78.07 -352.65 78.07 -369.80 78.07 -377.42" />
+   <path d="M78.07 -381.00C78.07 -381.00 77.18 -378.56 75.95 -375.16H78.07H80.20C78.96 -378.56 78.07 -381.00 78.07 -381.00z" fill="#b0b0b0" stroke="none" />
   </g>
   <g id="g11" transform="translate(-72, 78.9188)scale(1.0, -1.0)">
 <defs>
@@ -2178,9 +2178,9 @@
 </g>
 </g>
 </g>
-  <g id="g26" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M78.03 -432.71V-444.05C78.03 -447.18 80.57 -449.72 83.70 -449.72H239.60C242.73 -449.72 245.27 -447.18 245.27 -444.05C245.27 -444.05 245.27 -372.18 245.27 -355.41" />
-   <path d="M245.27 -351.94C245.27 -351.94 246.06 -354.12 247.40 -357.78H245.27H243.15C244.48 -354.12 245.27 -351.94 245.27 -351.94z" fill="#b0b0b0" stroke="none" />
+  <g id="g26" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M78.07 -433.60V-444.94C78.07 -448.07 80.61 -450.61 83.74 -450.61H228.31C231.44 -450.61 233.98 -448.07 233.98 -444.94C233.98 -444.94 233.98 -373.22 233.98 -356.23" />
+   <path d="M233.98 -352.65C233.98 -352.65 234.77 -354.83 236.10 -358.49H233.98H231.85C233.19 -354.83 233.98 -352.65 233.98 -352.65z" fill="#b0b0b0" stroke="none" />
   </g>
   <g id="g15" transform="translate(-72, 77.968)scale(1.0, -1.0)">
 <defs>
diff --git a/media/statemachine.pdf b/media/statemachine.pdf
index ec81bf7341baab36bf5d798250772e6895b33bb4..ae852dfde27280b18b5b1cb7ffc04f23ce6b2e4f 100644
GIT binary patch
delta 2300
zcmbtVON(4Z6sE(>gziBUXGVL_MM;Pbl3P>n2ZqFS<_<<&IQR=fM+RgD6S9c785CE7
zIHt&6kYIK$dM~(F@CO<2J5_aW--}DTH}%!yob!F>abG;U^5WT*%g0xPj7nSi)7QTp
z7%qa8A+jb|?ya*nFsb@o9eGqn3YAVKr(4DcsqE_a$uE<sHbyzmmgnh@$;))Q5w?sG
z*h$Yf^n1}dWd(b}W{nRVCL3e9jqIE?Ucq9;>CtAh8ypWlIH$20xpL7)n?Br}?|aD_
zm2cyjwp^Hs@l4!~&N+dwm4jhrR75DV!>=qm`f_%Hg`-8Icp$sg`2c0t66}Hr!VO)&
zvo(LS^Mrtn;C&!?bYoXK?t|76q<Y`!a%+Cv)55C}>odkan+dK3{YVradG=YulEQNX
zvRZPZ$j6?Pf-9qa1VLgRopye8c=gxGzL82r$%u+^#<6vV?r+~qVfw*l7C-$kKS)1M
zr`Jey!QoeX*eOfoSBJ8cp2zg(^x6g8%lhcRon?~SYP-IsLSReQ3=WFA<$hgfAGlR4
zfge&`UKp-yHI<jk>LLThcaSGA#r^V>45e>o^9K;75|AdVBq$IhAySgK)J#Dui_kL5
z0?uHiKRLrm|0G{3me$Mka(4T=_7apE3(HzY?^w<f>d}LO#-@?ZrTg38tp&dD)H68F
zks<3tSb@=8%I?H!t|?U1!{Mo9r;nLrAEO>hkMw4Susd_ynXarrQUsW>wV4V&V--Ri
zx?38p7#)K2*L1&&JhP>GEs+=K4M&AF)^LZ&HFrp&l~g^;{$hsk=y^aRlv6-z#{T8V
z<`68|)9wA$lUGhA?|K`hz>8k>COg#8P~{9{znA>0gW8VGNNgG`L-9LQ)bCK1Khy7b
z$S?ShaWmr4j7XxmJF%(;CE~RR%}BrgcJ@@!Rw0bKdwcctwRZA8rVM67G^n+K6le%<
zLiCVyEyd*ZK?TMJZ5^mWYYC2VhpG(q?m&iar;}lX8??5k+~-1Qa*Q2K$k5&GWT0r#
z3|%eIxxnzPue;kthJuDNJm2|ra@{(K*25bbhys7~aksZtfCk-iZ%_;vberk#y^VwQ
zu&9FM9;c9eop&U!vFV?^x0b3*7WzO?jIIojqW@@JM@v1Sae{GLQ6usfrWn9HLSK?Q
z*rqN|mpgl_AKw5osXaUlh(S%Gopi7?WcE?|WPY=sFgGp+sjUi@Om}i-W*s1E|D7)M
zg&@~Cs&ht3rSLQ5^-HwD2rM(i7rv)GItCDw>|zC(r?wyR-d%mW|M|lU7mx2O9A>L;
z+g7!Ug*|SS7mN1juF&3i9qgUEMji(z(etg3cA<~-q75x}S}ks|oBzke2H8koe1Gd-
D<k#cq

delta 2300
zcmbtVON(4Z6sE&WhwecXXIi__MM;PblB%iq14E*nPUDCR2Y*4hkpbz!ge)T23<+5Y
z;+P_PL4w)2=)K@x!5?J6bLw#)WN9y&I=9a2`_7|YKEL$x`K5~omz|VSX!rA@-wzcF
zT3H_m^@eF5l;cFm_NxlaE5lWYC!^D`;`rPCG5U2h5!MPVNplwe9KDLCJAN!JIF<3m
zj{3+aMe>kLsq@SzLbYLrlQTk{WZo7z-ruDM-ZH0!u&5N6@Z2aFKi!=#tS3~0wn8&y
z7#BqbGk((>?*cfI791;O9i%cn`reS$cheI%SUk{V-UjbUDYOVIaBDp{?m~Ysp1)fo
zL1fKYn+O<PI}jF963&=j?07MruUlAPH9)-~<m)MCnLQ*0ZbOd~!5xzhFbbv=#+V7g
znc!9is0$+JPI0|Gy8PQ{p`?=16NI9zwxp}joxS7eC!g#l^5c*5!}!Z&as^4};DIQI
z|LG_-6DA*pV=n$RxpIzri5~?8vqaz@`qsrd9UDS>7n$9xU(P88Xk|~(QMy_{NLO5?
zV^cyTL9%@)Gav>1Y>JNJ<LUgak`;i^3<SzqkOYf>1z<uE30zsy6lh7<fS2}W12?Tn
z!k;~L$M|Y`^Qtk>3xpc*tYrXetdcY$KxG6BMB+W(*?Za%eC`ahP@?P)s@@lipcRwg
zE8iH!6f`RK!_lcArw@oAU!;D(8EM_*k;!7|BmfK@R|V+X0B%efChX%tHl&JK7l;Hr
z#Y<0!e@_-Q^Mn@rwd9B3iPMQ(qnVM!DeMGl1a?o;Dkc#kI_9A!`4&Wo3_yzIz-M1*
z$g{o0_Td{RqYs5O3JTe=PE$Z_V4w%IA4m6QueSpokd2EaN62`ql-aLRqCdfJza+q&
zb>@Q(aL@rrXzof@;UH(+kw6Fhwc06Ck;WM?^xga0XK&peeGHQpoRF3esDOcRB0w|t
zsTjT8>%c%^tZ@=*?+oQC6&i|ekB0iC(lC%Ij5fA+E+<VnR+vCT)vYvOw!L1!duW-~
zI_Fsk&bECTUhIE0x~je6$p<XNJcJS+rTncwgU7L%^_l?|-ERD6wsY7mi$X}6aca^w
zC}#^xCjL8nuMv5(z~V_cmhF@)lb1<3m(@}vTqg-vE-1$bsyKjs#Np9`X#n3i<?&*F
zw*BcHKxU=nsMi96cST9q;h^6~_Idnre!bl=*Uo#TEqv!nSMn3GDj>Aiw+q${L#M3H
z2o@D)3ybRTQNZrWRT&6Py0h)&<~3c8#m-)!@_9#exDU2Z7T?@E=RR<Li!VJFHmp}#
za?iCAJS_RzuH9<6hUe_FrMR_R8oySzjWBDu)LyJsMy##8L9YKF7dz-9e*43X{{V#$
B;luy{

diff --git a/media/statemachine.svg b/media/statemachine.svg
index eebfcb4d9..f2ac563ea 100644
--- a/media/statemachine.svg
+++ b/media/statemachine.svg
@@ -1,39 +1,39 @@
 <?xml version="1.0" standalone="yes"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
   "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="87.4492mm" height="44.2117mm" viewBox="-123.944 -39.835 247.887 125.324" fill="none" stroke="#5f5f5f" stroke-width="0.3" stroke-miterlimit="10" font-family="Helvetica" font-size="9">
+<svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="87.5462mm" height="44.3373mm" viewBox="-124.081 -39.9241 248.162 125.681" fill="none" stroke="#5f5f5f" stroke-width="0.478125" stroke-miterlimit="10" font-family="Helvetica" font-size="9">
  <g transform="scale(1.0, -1.0)">
   <path d="M113.39 -2.83V2.83C113.39 9.09 108.31 14.17 102.05 14.17H-102.05C-108.31 14.17 -113.39 9.09 -113.39 2.83V-2.83C-113.39 -9.09 -108.31 -14.17 -102.05 -14.17H102.05C108.31 -14.17 113.39 -9.09 113.39 -2.83z" />
   <text transform="matrix(1 0 0 1 -11.5155 -3.096)scale(1.0, -1.0)" xml:space="preserve" opacity="1" fill="#000000" stroke="none"><tspan x="0" y="0">state1</tspan></text>
-  <path transform="matrix(1 0 0 1 0 -71.1661)" d="M113.39 -2.83V2.83C113.39 9.09 108.31 14.17 102.05 14.17H-102.05C-108.31 14.17 -113.39 9.09 -113.39 2.83V-2.83C-113.39 -9.09 -108.31 -14.17 -102.05 -14.17H102.05C108.31 -14.17 113.39 -9.09 113.39 -2.83z" />
-  <text transform="matrix(1 0 0 1 -12.1815 -74.2621)scale(1.0, -1.0)" xml:space="preserve" opacity="1" fill="#000000" stroke="none"><tspan x="0" y="0">state2</tspan></text>
+  <path transform="matrix(1 0 0 1 0 -71.3443)" d="M113.39 -2.83V2.83C113.39 9.09 108.31 14.17 102.05 14.17H-102.05C-108.31 14.17 -113.39 9.09 -113.39 2.83V-2.83C-113.39 -9.09 -108.31 -14.17 -102.05 -14.17H102.05C108.31 -14.17 113.39 -9.09 113.39 -2.83z" />
+  <text transform="matrix(1 0 0 1 -12.1815 -74.4403)scale(1.0, -1.0)" xml:space="preserve" opacity="1" fill="#000000" stroke="none"><tspan x="0" y="0">state2</tspan></text>
   <use xlink:href="#g9" />
   <use xlink:href="#g10" />
-  <path d="M-78.53 -45.50H-72.86" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 -86.7412 -49.1805)" xlink:href="#g6" />
+  <path d="M-78.58 -45.59H-72.92" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 -86.8787 -49.2696)" xlink:href="#g6" />
   <use xlink:href="#g11" />
-  <path d="M-40.68 -22.83H-35.01" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 -58.8588 -26.5034)" xlink:href="#g2" />
+  <path d="M-40.71 -22.92H-35.04" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 -58.9666 -26.5924)" xlink:href="#g2" />
   <use xlink:href="#g12" />
-  <path d="M-2.83 -45.50H2.83" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 -19.9067 -49.1805)" xlink:href="#g3" />
+  <path d="M-2.83 -45.59H2.83" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 -19.9848 -49.2696)" xlink:href="#g3" />
   <use xlink:href="#g13" />
-  <path d="M35.01 -22.83H40.68" stroke="#b0b0b0" stroke-width="0.8" />
-  <use transform="matrix(1 0 0 1 16.8318 -26.5034)" xlink:href="#g4" />
+  <path d="M35.04 -22.92H40.71" stroke="#b0b0b0" stroke-width="0.95625" />
+  <use transform="matrix(1 0 0 1 16.7833 -26.5924)" xlink:href="#g4" />
   <use xlink:href="#g14" />
-  <path d="M72.86 -45.50H78.53" stroke="#b0b0b0" stroke-width="0.8" />
-  <path d="M78.93 -45.50L107.27 -31.33" stroke="#b0b0b0" />
-  <use transform="matrix(1 0 0 1 110.106 -35.0073)" xlink:href="#g5" />
+  <path d="M72.92 -45.59H78.58" stroke="#b0b0b0" stroke-width="0.95625" />
+  <path d="M79.06 -45.59L107.41 -31.42" stroke="#b0b0b0" stroke-width="0.3" />
+  <use transform="matrix(1 0 0 1 110.244 -35.0964)" xlink:href="#g5" />
  </g>
  <defs>
-  <g id="g9" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M0.00 37.00C0.00 37.00 0.00 24.15 0.00 17.79" />
-   <path d="M2.83 37.00C2.83 38.56 1.56 39.84 0.00 39.84C-1.56 39.84 -2.83 38.56 -2.83 37.00C-2.83 35.44 -1.56 34.17 0.00 34.17C1.56 34.17 2.83 35.44 2.83 37.00z" fill="#b0b0b0" stroke="none" />
-   <path d="M0.00 14.32C0.00 14.32 -0.92 16.85 -2.13 20.16H0.00H2.13C0.92 16.85 0.00 14.32 0.00 14.32z" fill="#b0b0b0" stroke="none" />
+  <g id="g9" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M0.00 37.09C0.00 37.09 0.00 24.38 0.00 17.99" />
+   <path d="M2.83 37.09C2.83 38.65 1.56 39.92 0.00 39.92C-1.56 39.92 -2.83 38.65 -2.83 37.09C-2.83 35.52 -1.56 34.25 0.00 34.25C1.56 34.25 2.83 35.52 2.83 37.09z" fill="#b0b0b0" stroke="none" />
+   <path d="M0.00 14.41C0.00 14.41 -0.92 16.94 -2.13 20.25H0.00H2.13C0.92 16.94 0.00 14.41 0.00 14.41z" fill="#b0b0b0" stroke="none" />
   </g>
-  <g id="g10" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M-75.69 -14.32C-75.69 -14.32 -75.69 -43.23 -75.69 -53.37" />
-   <path d="M-75.69 -56.84C-75.69 -56.84 -76.53 -54.52 -77.82 -51.00H-75.69H-73.56C-74.85 -54.52 -75.69 -56.84 -75.69 -56.84z" fill="#b0b0b0" stroke="none" />
+  <g id="g10" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M-75.75 -14.41C-75.75 -14.41 -75.75 -43.11 -75.75 -53.35" />
+   <path d="M-75.75 -56.93C-75.75 -56.93 -76.59 -54.61 -77.88 -51.09H-75.75H-73.62C-74.91 -54.61 -75.75 -56.93 -75.75 -56.93z" fill="#b0b0b0" stroke="none" />
   </g>
   <g id="g6" transform="translate(-72, 76.289)scale(1.0, -1.0)">
 <defs>
@@ -57,9 +57,9 @@
 </g>
 </g>
 </g>
-  <g id="g11" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M-37.85 -14.32C-37.85 -14.32 -37.85 -43.23 -37.85 -53.37" />
-   <path d="M-37.85 -56.84C-37.85 -56.84 -38.69 -54.52 -39.97 -51.00H-37.85H-35.72C-37.00 -54.52 -37.85 -56.84 -37.85 -56.84z" fill="#b0b0b0" stroke="none" />
+  <g id="g11" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M-37.87 -14.41C-37.87 -14.41 -37.87 -43.11 -37.87 -53.35" />
+   <path d="M-37.87 -56.93C-37.87 -56.93 -38.72 -54.61 -40.00 -51.09H-37.87H-35.75C-37.03 -54.61 -37.87 -56.93 -37.87 -56.93z" fill="#b0b0b0" stroke="none" />
   </g>
   <g id="g2" transform="translate(-72, 78.863)scale(1.0, -1.0)">
 <defs>
@@ -98,9 +98,9 @@
 </g>
 </g>
 </g>
-  <g id="g12" fill="none" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M0.00 -14.32C0.00 -14.32 0.00 -52.13 0.00 -56.44" />
-   <path d="M2.08 -51.12C0.83 -54.57 0.00 -56.84 0.00 -56.84H0.00C0.00 -56.84 -0.83 -54.57 -2.08 -51.12" stroke-linecap="round" />
+  <g id="g12" fill="none" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M0.00 -14.41C0.00 -14.41 0.00 -51.78 0.00 -56.45" />
+   <path d="M2.08 -51.21C0.83 -54.66 0.00 -56.93 0.00 -56.93H0.00C0.00 -56.93 -0.83 -54.66 -2.08 -51.21" stroke-linecap="round" />
   </g>
   <g id="g3" transform="translate(-72, 78.274)scale(1.0, -1.0)">
 <defs>
@@ -139,9 +139,9 @@
 </g>
 </g>
 </g>
-  <g id="g13" fill="none" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M37.85 -14.32C37.85 -14.32 37.85 -52.13 37.85 -56.44" />
-   <path d="M39.93 -51.12C38.67 -54.57 37.85 -56.84 37.85 -56.84H37.85C37.85 -56.84 37.02 -54.57 35.76 -51.12" stroke-linecap="round" />
+  <g id="g13" fill="none" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M37.87 -14.41C37.87 -14.41 37.87 -51.78 37.87 -56.45" />
+   <path d="M39.96 -51.21C38.70 -54.66 37.87 -56.93 37.87 -56.93H37.87C37.87 -56.93 37.05 -54.66 35.79 -51.21" stroke-linecap="round" />
   </g>
   <g id="g4" transform="translate(-72, 78.863)scale(1.0, -1.0)">
 <defs>
@@ -180,10 +180,10 @@
 </g>
 </g>
 </g>
-  <g id="g14" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.8" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
-   <path d="M75.69 -14.32C75.69 -14.32 75.69 -43.23 75.69 -53.37" />
-   <path d="M78.53 -14.32C78.53 -14.32 78.53 -16.55 78.53 -19.99H72.86C72.86 -16.55 72.86 -14.32 72.86 -14.32" stroke-linecap="round" />
-   <path d="M75.69 -56.84C75.69 -56.84 74.85 -54.52 73.56 -51.00H75.69H77.82C76.53 -54.52 75.69 -56.84 75.69 -56.84z" fill="#b0b0b0" stroke="none" />
+  <g id="g14" fill="none" fill-rule="nonzero" fill-opacity="1" stroke="#b0b0b0" stroke-width="0.95625" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="10" stroke-dasharray="none" stroke-opacity="1">
+   <path d="M75.75 -14.41C75.75 -14.41 75.75 -43.11 75.75 -53.35" />
+   <path d="M78.58 -14.41C78.58 -14.41 78.58 -16.64 78.58 -20.08H72.92C72.92 -16.64 72.92 -14.41 72.92 -14.41" stroke-linecap="round" />
+   <path d="M75.75 -56.93C75.75 -56.93 74.91 -54.61 73.62 -51.09H75.75H77.88C76.59 -54.61 75.75 -56.93 75.75 -56.93z" fill="#b0b0b0" stroke="none" />
   </g>
   <g id="g5" transform="translate(-72, 78.274)scale(1.0, -1.0)">
 <defs>