#FIG 3.2 Produced by xfig version 3.2.5b Landscape Center Inches Letter 70.00 Single -2 1200 2 6 1575 2925 3225 4875 2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 1605 3045 3225 3045 3225 4875 1605 4875 1605 3045 4 0 0 50 -1 16 10 0.0000 4 120 375 1725 3285 Class\001 4 0 0 50 -1 16 10 0.0000 4 120 615 1725 3675 * ClassId\001 4 0 0 50 -1 16 10 0.0000 4 120 960 1725 3870 *2 ClassName\001 4 0 0 50 -1 16 10 0.0000 4 120 390 1725 4065 - Line\001 4 0 0 50 -1 16 10 0.0000 4 150 1020 1725 4260 - StorageSlots\001 4 0 0 50 -1 16 10 0.0000 4 150 1320 1725 3480 * *2 DomainId (R2)\001 4 0 0 50 -1 16 10 0.0000 4 150 900 1725 4455 - PolyEvents\001 4 0 0 50 -1 16 10 0.0000 4 150 1035 1725 4650 - StorageClass\001 -6 6 5700 3450 7575 4800 2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 5715 3480 7575 3480 7575 4740 5715 4740 5715 3480 4 0 0 50 -1 16 10 0.0000 4 120 795 5835 3660 StateModel\001 4 0 0 50 -1 16 10 0.0000 4 120 735 5835 4245 - DefTrans\001 4 0 0 50 -1 16 10 0.0000 4 120 390 5835 4635 - Line\001 4 0 0 50 -1 16 10 0.0000 4 150 1500 5835 3855 * DomainId (R5, R16)\001 4 0 0 50 -1 16 10 0.0000 4 150 1350 5835 4050 * ClassId (R5, R16)\001 4 0 0 50 -1 16 10 0.0000 4 150 1290 5835 4440 - InitialState (R16)\001 -6 6 4725 3975 5625 4350 4 2 0 50 -1 16 10 0.0000 4 120 570 5595 4125 behaves\001 4 2 0 50 -1 16 10 0.0000 4 150 870 5595 4320 according to\001 -6 6 3300 3960 4215 4275 4 0 0 50 -1 16 10 0.0000 4 120 915 3300 4080 describes the\001 4 0 0 50 -1 16 10 0.0000 4 120 795 3300 4275 behavior of\001 -6 6 10305 3180 11925 5100 2 2 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 0 5 10305 3180 11925 3180 11925 5100 10305 5100 10305 3180 4 0 0 50 -1 16 10 0.0000 4 120 375 10425 3360 State\001 4 0 0 50 -1 16 10 0.0000 4 150 1320 10425 3555 * *2 DomainId (R6)\001 4 0 0 50 -1 16 10 0.0000 4 150 1170 10425 3750 * *2 ClassId (R6)\001 4 0 0 50 -1 16 10 0.0000 4 120 615 10425 3945 * StateId\001 4 0 0 50 -1 16 10 0.0000 4 120 960 10425 4140 *2 StateName\001 4 0 0 50 -1 16 10 0.0000 4 120 615 10425 4335 - Params\001 4 0 0 50 -1 16 10 0.0000 4 120 390 10425 4530 - Line\001 4 0 0 50 -1 16 10 0.0000 4 120 480 10425 4725 - Code\001 4 0 0 50 -1 16 10 0.0000 4 120 765 10425 4920 - CodeLine\001 -6 6 9300 4575 10200 4950 4 2 0 50 -1 16 10 0.0000 4 120 870 10200 4725 has a default\001 4 2 0 50 -1 16 10 0.0000 4 120 735 10200 4920 initial state\001 -6 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 1 1 1.00 60.00 120.00 7575 4440 10305 4440 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 1 1 1.00 60.00 120.00 5700 3900 3225 3900 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 1 1 1.00 60.00 120.00 10305 3675 7575 3675 4 1 0 50 -1 16 10 0.0000 4 120 195 4275 3900 R5\001 4 1 0 50 -1 16 10 0.0000 4 120 90 5595 3900 ?\001 4 1 0 50 -1 16 10 0.0000 4 120 195 8895 3600 R6\001 4 1 0 50 -1 16 10 0.0000 4 120 285 8895 4380 R16\001 4 1 0 50 -1 16 10 0.0000 4 120 90 7635 4380 ?\001 4 1 0 50 -1 16 10 0.0000 4 120 90 7695 3600 1\001 4 0 0 50 -1 16 10 0.0000 4 120 1155 7650 4725 is the initial state\001 4 0 0 50 -1 16 10 0.0000 4 150 630 7650 3900 is part of\001 4 1 0 50 -1 16 10 0.0000 4 120 90 3375 3825 1\001 4 2 0 50 -1 16 10 0.0000 4 120 585 10275 3900 contains\001 4 1 0 50 -1 16 10 0.0000 4 120 90 10125 4380 1\001 4 1 0 50 -1 16 10 0.0000 4 45 60 10125 3600 *\001