Page 94 - 6602
P. 94

Кожен з кінцевих підавтоматів займає деяку графічну область
                            усередині  складеного  стану,  яка  відділяється  від  решти
                            горизонтальною  пунктирною  лінією.  Якщо  на  діаграмі  станів  є
                            складений  стан  з  вкладеними  паралельними  підстанами,  то  об'єкт
                            може одночасно знаходитися в кожному з цих підстанів.
                                  Окремі паралельні підстани можуть, у свою чергу, складатися
                            з  декількох  послідовних  підстанів  (рис.  6.9).  В  цьому  випадку  за
                            визначенням модельований об'єкт може знаходитися лише в одному
                            з  послідовних  підстанів  кожного  підавтомата.  Таким  чином,  для
                            фрагмента  діаграми  станів  (рис.  6.9)  допустиме  одночасне
                            знаходження об'єкту лише в наступних підстанах: (А, В, Г), (Б, В,
                            Г), (А, В, Д), (Б, В, Д).
















                               Рис. 6.9.  Графічне зображення стану-композиту з вкладеними
                                                паралельними підстанами

                                  Несумісний  підстан  (disjoint  substate)  -  підстан,  в  якому
                            підсистема  не  може  знаходитися  одночасно  з  іншими  підстанами
                            одного і того ж складеного стану.
                                  Для кожного з вкладених кінцевих підавтоматів можуть бути
                            визначені  власні  початковий  і  кінцевий  стани  (рис.  6.9).  Вихід  із
                            складеного  стану  буде  можливий  лише  у  тому  випадку,  коли  всі
                            кінцеві підавтомати знаходитимуться в своїх кінцевих станах. Якщо

















                                                           90
   89   90   91   92   93   94   95   96   97   98   99