--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/documentation/images/fsm-change.eps Mon Sep 25 17:28:31 2006 +0000
@@ -0,0 +1,424 @@
+%!PS-Adobe-2.0 EPSF-2.0
+%%Title: fsm-change.fig
+%%Creator: fig2dev Version 3.2 Patchlevel 4
+%%CreationDate: Thu Jul 20 10:40:23 2006
+%%For: fp@jupiter (Florian Pose)
+%%BoundingBox: 0 0 510 193
+%%Magnification: 1.0000
+%%EndComments
+/$F2psDict 200 dict def
+$F2psDict begin
+$F2psDict /mtrx matrix put
+/col-1 {0 setgray} bind def
+/col0 {0.000 0.000 0.000 srgb} bind def
+/col1 {0.000 0.000 1.000 srgb} bind def
+/col2 {0.000 1.000 0.000 srgb} bind def
+/col3 {0.000 1.000 1.000 srgb} bind def
+/col4 {1.000 0.000 0.000 srgb} bind def
+/col5 {1.000 0.000 1.000 srgb} bind def
+/col6 {1.000 1.000 0.000 srgb} bind def
+/col7 {1.000 1.000 1.000 srgb} bind def
+/col8 {0.000 0.000 0.560 srgb} bind def
+/col9 {0.000 0.000 0.690 srgb} bind def
+/col10 {0.000 0.000 0.820 srgb} bind def
+/col11 {0.530 0.810 1.000 srgb} bind def
+/col12 {0.000 0.560 0.000 srgb} bind def
+/col13 {0.000 0.690 0.000 srgb} bind def
+/col14 {0.000 0.820 0.000 srgb} bind def
+/col15 {0.000 0.560 0.560 srgb} bind def
+/col16 {0.000 0.690 0.690 srgb} bind def
+/col17 {0.000 0.820 0.820 srgb} bind def
+/col18 {0.560 0.000 0.000 srgb} bind def
+/col19 {0.690 0.000 0.000 srgb} bind def
+/col20 {0.820 0.000 0.000 srgb} bind def
+/col21 {0.560 0.000 0.560 srgb} bind def
+/col22 {0.690 0.000 0.690 srgb} bind def
+/col23 {0.820 0.000 0.820 srgb} bind def
+/col24 {0.500 0.190 0.000 srgb} bind def
+/col25 {0.630 0.250 0.000 srgb} bind def
+/col26 {0.750 0.380 0.000 srgb} bind def
+/col27 {1.000 0.500 0.500 srgb} bind def
+/col28 {1.000 0.630 0.630 srgb} bind def
+/col29 {1.000 0.750 0.750 srgb} bind def
+/col30 {1.000 0.880 0.880 srgb} bind def
+/col31 {1.000 0.840 0.000 srgb} bind def
+/col32 {0.555 0.555 0.555 srgb} bind def
+
+end
+save
+newpath 0 193 moveto 0 0 lineto 510 0 lineto 510 193 lineto closepath clip newpath
+-24.3 221.9 translate
+1 -1 scale
+
+/cp {closepath} bind def
+/ef {eofill} bind def
+/gr {grestore} bind def
+/gs {gsave} bind def
+/sa {save} bind def
+/rs {restore} bind def
+/l {lineto} bind def
+/m {moveto} bind def
+/rm {rmoveto} bind def
+/n {newpath} bind def
+/s {stroke} bind def
+/sh {show} bind def
+/slc {setlinecap} bind def
+/slj {setlinejoin} bind def
+/slw {setlinewidth} bind def
+/srgb {setrgbcolor} bind def
+/rot {rotate} bind def
+/sc {scale} bind def
+/sd {setdash} bind def
+/ff {findfont} bind def
+/sf {setfont} bind def
+/scf {scalefont} bind def
+/sw {stringwidth} bind def
+/tr {translate} bind def
+/tnt {dup dup currentrgbcolor
+ 4 -2 roll dup 1 exch sub 3 -1 roll mul add
+ 4 -2 roll dup 1 exch sub 3 -1 roll mul add
+ 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
+ bind def
+/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
+ 4 -2 roll mul srgb} bind def
+ /DrawEllipse {
+ /endangle exch def
+ /startangle exch def
+ /yrad exch def
+ /xrad exch def
+ /y exch def
+ /x exch def
+ /savematrix mtrx currentmatrix def
+ x y tr xrad yrad sc 0 0 1 startangle endangle arc
+ closepath
+ savematrix setmatrix
+ } def
+
+/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
+/$F2psEnd {$F2psEnteredState restore end} def
+
+$F2psBegin
+10 setmiterlimit
+0 slj 0 slc
+ 0.06299 0.06299 sc
+%
+% Fig objects follow
+%
+%
+% here starts figure with depth 50
+% Ellipse
+7.500 slw
+n 1260 2745 855 360 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+1260 2790 m
+gs 1 -1 sc (CODE) dup sw pop 2 div neg 0 rm col0 sh gr
+% Ellipse
+n 3375 2745 855 360 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+3375 2790 m
+gs 1 -1 sc (ACK) dup sw pop 2 div neg 0 rm col0 sh gr
+% Ellipse
+n 5490 2745 855 360 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+5490 2790 m
+gs 1 -1 sc (CHECK ACK) dup sw pop 2 div neg 0 rm col0 sh gr
+% Ellipse
+n 7605 2745 855 360 0 360 DrawEllipse gs col0 s gr
+
+% Ellipse
+n 7605 2738 765 322 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+7605 2790 m
+gs 1 -1 sc (ERROR) dup sw pop 2 div neg 0 rm col0 sh gr
+% Ellipse
+n 3375 1260 855 360 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+3375 1305 m
+gs 1 -1 sc (CHECK) dup sw pop 2 div neg 0 rm col0 sh gr
+% Ellipse
+n 5490 1260 855 360 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+5490 1305 m
+gs 1 -1 sc (STATUS) dup sw pop 2 div neg 0 rm col0 sh gr
+% Ellipse
+n 7605 1260 855 360 0 360 DrawEllipse gs col0 s gr
+
+% Ellipse
+n 7605 1261 748 315 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+7605 1305 m
+gs 1 -1 sc (END) dup sw pop 2 div neg 0 rm col0 sh gr
+% Ellipse
+n 1260 1260 855 360 0 360 DrawEllipse gs col0 s gr
+
+/Helvetica ff 180.00 scf sf
+1260 1305 m
+gs 1 -1 sc (START) dup sw pop 2 div neg 0 rm col0 sh gr
+% Ellipse
+n 495 675 101 101 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr
+
+% Polyline
+2 slj
+gs clippath
+2535 1290 m 2535 1230 l 2384 1230 l 2504 1260 l 2384 1290 l cp
+eoclip
+n 2115 1260 m
+ 2520 1260 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 2384 1290 m 2504 1260 l 2384 1230 l 2384 1290 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+gs clippath
+4650 1290 m 4650 1230 l 4499 1230 l 4619 1260 l 4499 1290 l cp
+eoclip
+n 4230 1260 m
+ 4635 1260 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 4499 1290 m 4619 1260 l 4499 1230 l 4499 1290 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+gs clippath
+6765 1290 m 6765 1230 l 6614 1230 l 6734 1260 l 6614 1290 l cp
+eoclip
+n 6345 1260 m
+ 6750 1260 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 6614 1290 m 6734 1260 l 6614 1230 l 6614 1290 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+gs clippath
+5326 917 m 5386 912 l 5371 761 l 5353 884 l 5311 767 l cp
+eoclip
+n 5670 900 m 5671 897 l 5672 892 l 5674 882 l 5677 868 l 5681 849 l
+ 5686 827 l 5691 803 l 5695 776 l 5699 749 l 5702 721 l
+ 5704 693 l 5705 666 l 5703 639 l 5700 612 l 5693 586 l
+ 5683 562 l 5670 540 l 5657 525 l 5643 513 l 5628 504 l
+ 5614 496 l 5601 491 l 5588 487 l 5577 484 l 5567 482 l
+ 5557 481 l 5548 480 l 5539 480 l 5530 480 l 5520 481 l
+ 5510 482 l 5500 484 l 5488 487 l 5475 491 l 5461 496 l
+ 5446 504 l 5431 513 l 5415 525 l 5400 540 l 5384 562 l
+ 5371 586 l 5361 612 l 5354 639 l 5349 666 l 5346 693 l
+ 5345 721 l 5345 749 l 5345 776 l 5346 803 l 5348 827 l
+ 5350 849 l 5352 868 l
+ 5355 900 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 5311 767 m 5353 884 l 5371 761 l 5311 767 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+gs clippath
+2535 2775 m 2535 2715 l 2384 2715 l 2504 2745 l 2384 2775 l cp
+eoclip
+n 2115 2745 m
+ 2520 2745 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 2384 2775 m 2504 2745 l 2384 2715 l 2384 2775 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+gs clippath
+4650 2775 m 4650 2715 l 4499 2715 l 4619 2745 l 4499 2775 l cp
+eoclip
+n 4230 2745 m
+ 4635 2745 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 4499 2775 m 4619 2745 l 4499 2715 l 4499 2775 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+gs clippath
+6765 2775 m 6765 2715 l 6614 2715 l 6734 2745 l 6614 2775 l cp
+eoclip
+n 6345 2745 m
+ 6750 2745 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 6614 2775 m 6734 2745 l 6614 2715 l 6614 2775 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+gs clippath
+1723 2417 m 1764 2462 l 1875 2360 l 1767 2419 l 1835 2316 l cp
+eoclip
+n 4905 1530 m 4905 1531 l 4905 1532 l 4905 1534 l 4905 1538 l 4906 1543 l
+ 4906 1549 l 4906 1558 l 4905 1568 l 4905 1579 l 4903 1592 l
+ 4901 1606 l 4899 1621 l 4895 1638 l 4890 1654 l 4884 1672 l
+ 4876 1690 l 4867 1708 l 4855 1727 l 4841 1746 l 4825 1765 l
+ 4806 1784 l 4783 1803 l 4757 1822 l 4727 1842 l 4692 1862 l
+ 4652 1882 l 4607 1902 l 4555 1922 l 4498 1942 l 4434 1961 l
+ 4365 1980 l 4306 1994 l 4246 2007 l 4186 2019 l 4126 2030 l
+ 4068 2040 l 4012 2048 l 3959 2055 l 3909 2060 l 3862 2064 l
+ 3818 2068 l 3778 2070 l 3740 2071 l 3706 2071 l 3673 2071 l
+ 3643 2070 l 3615 2068 l 3589 2066 l 3563 2064 l 3538 2061 l
+ 3514 2059 l 3489 2056 l 3464 2053 l 3438 2051 l 3411 2049 l
+ 3382 2047 l 3352 2046 l 3318 2045 l 3283 2045 l 3244 2045 l
+ 3201 2047 l 3156 2049 l 3106 2052 l 3053 2056 l 2997 2062 l
+ 2937 2068 l 2874 2076 l 2809 2084 l 2743 2094 l 2676 2104 l
+ 2610 2115 l 2525 2130 l 2446 2146 l 2373 2162 l 2306 2178 l
+ 2246 2193 l 2191 2208 l 2142 2223 l 2098 2238 l 2058 2252 l
+ 2022 2266 l 1989 2281 l 1959 2294 l 1932 2308 l 1907 2321 l
+ 1884 2334 l 1864 2347 l 1845 2359 l 1828 2371 l 1813 2382 l
+ 1800 2392 l 1789 2400 l 1780 2408 l 1772 2415 l 1766 2420 l
+
+ 1755 2430 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 1835 2316 m 1767 2419 l 1875 2360 l 1835 2316 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+gs clippath
+656 1018 m 708 987 l 630 857 l 667 976 l 579 888 l cp
+eoclip
+n 540 765 m
+ 675 990 l gs 0.00 setgray ef gr gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 579 888 m 667 976 l 630 857 l 579 888 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+ [60] 0 sd
+gs clippath
+6914 2549 m 6963 2515 l 6876 2391 l 6921 2507 l 6827 2425 l cp
+eoclip
+n 4050 1485 m 4049 1485 l 4048 1485 l 4048 1486 l 4047 1486 l 4046 1487 l
+ 4045 1488 l 4044 1489 l 4044 1490 l 4045 1491 l 4046 1493 l
+ 4049 1495 l 4053 1498 l 4058 1500 l 4066 1504 l 4075 1507 l
+ 4087 1512 l 4102 1517 l 4119 1522 l 4141 1528 l 4166 1536 l
+ 4197 1544 l 4232 1553 l 4273 1564 l 4320 1576 l 4374 1589 l
+ 4434 1604 l 4500 1620 l 4553 1633 l 4608 1645 l 4662 1658 l
+ 4717 1670 l 4770 1682 l 4821 1693 l 4869 1703 l 4915 1712 l
+ 4958 1721 l 4998 1728 l 5035 1735 l 5070 1740 l 5102 1745 l
+ 5132 1750 l 5160 1753 l 5186 1756 l 5210 1759 l 5234 1762 l
+ 5257 1764 l 5280 1766 l 5303 1769 l 5326 1771 l 5350 1774 l
+ 5375 1777 l 5402 1781 l 5431 1786 l 5462 1791 l 5495 1798 l
+ 5531 1805 l 5571 1814 l 5613 1824 l 5659 1836 l 5708 1849 l
+ 5760 1863 l 5816 1879 l 5874 1897 l 5935 1916 l 5996 1936 l
+ 6058 1958 l 6120 1980 l 6199 2010 l 6273 2041 l 6341 2070 l
+ 6404 2100 l 6460 2128 l 6512 2155 l 6558 2182 l 6600 2207 l
+ 6637 2232 l 6672 2256 l 6703 2280 l 6732 2303 l 6758 2325 l
+ 6782 2347 l 6803 2368 l 6823 2389 l 6842 2408 l 6858 2427 l
+ 6872 2444 l 6885 2459 l 6896 2474 l 6906 2486 l 6913 2496 l
+ 6919 2504 l 6923 2510 l
+ 6930 2520 l gs col0 s gr gr
+ [] 0 sd
+% arrowhead
+0 slj
+n 6827 2425 m 6921 2507 l 6876 2391 l 6827 2425 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+ [60] 0 sd
+gs clippath
+7089 2456 m 7143 2430 l 7079 2293 l 7103 2415 l 7025 2318 l cp
+eoclip
+n 6165 1485 m 6166 1486 l 6169 1487 l 6173 1490 l 6181 1495 l 6191 1501 l
+ 6204 1509 l 6220 1519 l 6238 1531 l 6259 1545 l 6282 1560 l
+ 6307 1576 l 6332 1593 l 6359 1612 l 6387 1631 l 6416 1651 l
+ 6445 1673 l 6475 1695 l 6506 1719 l 6538 1744 l 6570 1771 l
+ 6605 1800 l 6640 1831 l 6676 1864 l 6713 1899 l 6750 1935 l
+ 6788 1974 l 6824 2013 l 6857 2049 l 6886 2084 l 6913 2116 l
+ 6937 2147 l 6958 2176 l 6978 2203 l 6996 2230 l 7012 2255 l
+ 7027 2279 l 7041 2302 l 7054 2324 l 7065 2344 l 7075 2363 l
+ 7084 2380 l 7092 2394 l 7098 2406 l 7103 2415 l
+ 7110 2430 l gs col0 s gr gr
+ [] 0 sd
+% arrowhead
+0 slj
+n 7025 2318 m 7103 2415 l 7079 2293 l 7025 2318 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+ [60] 0 sd
+gs clippath
+6822 2944 m 6793 2891 l 6661 2964 l 6781 2933 l 6690 3016 l cp
+eoclip
+n 3915 3060 m 3916 3060 l 3918 3061 l 3922 3062 l 3928 3064 l 3937 3067 l
+ 3949 3070 l 3965 3075 l 3983 3080 l 4006 3086 l 4031 3093 l
+ 4060 3101 l 4092 3110 l 4126 3119 l 4164 3129 l 4203 3139 l
+ 4245 3150 l 4289 3160 l 4334 3171 l 4381 3182 l 4429 3192 l
+ 4478 3203 l 4529 3213 l 4581 3223 l 4634 3232 l 4689 3241 l
+ 4745 3249 l 4802 3257 l 4862 3264 l 4923 3270 l 4987 3276 l
+ 5053 3281 l 5121 3285 l 5192 3287 l 5264 3289 l 5338 3289 l
+ 5414 3288 l 5490 3285 l 5569 3280 l 5647 3274 l 5721 3267 l
+ 5793 3258 l 5860 3248 l 5925 3237 l 5986 3226 l 6043 3214 l
+ 6098 3201 l 6150 3188 l 6200 3174 l 6247 3160 l 6292 3146 l
+ 6336 3131 l 6378 3116 l 6418 3101 l 6457 3085 l 6494 3070 l
+ 6530 3055 l 6563 3040 l 6595 3025 l 6625 3011 l 6653 2998 l
+ 6679 2985 l 6702 2974 l 6722 2963 l 6740 2954 l 6755 2946 l
+ 6767 2940 l 6777 2935 l 6784 2931 l
+ 6795 2925 l gs col0 s gr gr
+ [] 0 sd
+% arrowhead
+0 slj
+n 6690 3016 m 6781 2933 l 6661 2964 l 6690 3016 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+ [60] 0 sd
+gs clippath
+7008 3019 m 6959 2985 l 6872 3109 l 6966 3028 l 6921 3143 l cp
+eoclip
+n 1890 3015 m 1891 3015 l 1892 3016 l 1895 3016 l 1900 3017 l 1907 3019 l
+ 1917 3021 l 1929 3024 l 1944 3027 l 1963 3031 l 1985 3036 l
+ 2011 3042 l 2040 3048 l 2073 3055 l 2109 3063 l 2149 3072 l
+ 2193 3081 l 2240 3091 l 2290 3102 l 2344 3113 l 2400 3125 l
+ 2459 3137 l 2520 3150 l 2584 3163 l 2650 3176 l 2717 3190 l
+ 2786 3204 l 2857 3218 l 2929 3232 l 3002 3246 l 3077 3260 l
+ 3152 3273 l 3228 3287 l 3305 3301 l 3382 3315 l 3460 3328 l
+ 3539 3341 l 3618 3354 l 3698 3366 l 3779 3378 l 3860 3390 l
+ 3942 3402 l 4025 3413 l 4109 3424 l 4193 3434 l 4279 3444 l
+ 4365 3453 l 4452 3462 l 4541 3470 l 4630 3478 l 4720 3485 l
+ 4811 3491 l 4902 3497 l 4994 3501 l 5085 3505 l 5176 3508 l
+ 5266 3509 l 5355 3510 l 5474 3509 l 5587 3506 l 5695 3501 l
+ 5796 3494 l 5890 3486 l 5978 3476 l 6060 3465 l 6136 3453 l
+ 6206 3440 l 6271 3426 l 6332 3411 l 6388 3395 l 6439 3379 l
+ 6487 3362 l 6532 3345 l 6574 3327 l 6612 3308 l 6649 3289 l
+ 6682 3270 l 6714 3251 l 6743 3232 l 6770 3212 l 6796 3193 l
+ 6819 3174 l 6841 3156 l 6861 3138 l 6879 3122 l 6895 3106 l
+ 6910 3091 l 6922 3077 l 6934 3065 l 6943 3054 l 6952 3044 l
+ 6958 3036 l 6964 3030 l 6968 3025 l
+ 6975 3015 l gs col0 s gr gr
+ [] 0 sd
+% arrowhead
+0 slj
+n 6921 3143 m 6966 3028 l 6872 3109 l 6921 3143 l cp gs 0.00 setgray ef gr col0 s
+% Polyline
+2 slj
+gs clippath
+5326 2403 m 5386 2398 l 5371 2247 l 5353 2370 l 5311 2253 l cp
+eoclip
+n 5670 2386 m 5671 2383 l 5672 2378 l 5674 2368 l 5677 2354 l 5681 2335 l
+ 5686 2313 l 5691 2289 l 5695 2262 l 5699 2235 l 5702 2207 l
+ 5704 2179 l 5705 2152 l 5703 2125 l 5700 2098 l 5693 2072 l
+ 5683 2048 l 5670 2026 l 5657 2011 l 5643 1999 l 5628 1990 l
+ 5614 1982 l 5601 1977 l 5588 1973 l 5577 1970 l 5567 1968 l
+ 5557 1967 l 5548 1966 l 5539 1966 l 5530 1966 l 5520 1967 l
+ 5510 1968 l 5500 1970 l 5488 1973 l 5475 1977 l 5461 1982 l
+ 5446 1990 l 5431 1999 l 5415 2011 l 5400 2026 l 5384 2048 l
+ 5371 2072 l 5361 2098 l 5354 2125 l 5349 2152 l 5346 2179 l
+ 5345 2207 l 5345 2235 l 5345 2262 l 5346 2289 l 5348 2313 l
+ 5350 2335 l 5352 2354 l
+ 5355 2386 l gs col0 s gr gr
+
+% arrowhead
+0 slj
+n 5311 2253 m 5353 2370 l 5371 2247 l 5311 2253 l cp gs 0.00 setgray ef gr col0 s
+% here ends figure;
+$F2psEnd
+rs
+showpage