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