Page 98 - 6602

розділення модельована система або об'єкт одночасно
знаходитиметься у всіх цільових підстанах цього паралельного
переходу (підстани 1 і 2). Далі процес зміни станів протікатиме
згідно раніше розглянутим правилам для складених станів.

Рис. 6.12. Графічне зображення переходу-розділення в паралельні
підстани (а) і переходу-злиття з паралельних підстанів (б)

У другому випадку перехід-злиття спрацьовує, якщо має місце
подія-тригер для всіх вихідних станів цього переходу, і виконана
(при її наявності) сторожова умова. При спрацьовуванні переходу-
злиття одночасно покидаются всі вихідні підстани переходу
(підстани 3 і 4) і відбувається перехід в цільовий стан.
Перехід, стрілка якого сполучена з границею складеного
стану, позначає перехід в цей складений стан (перехід а на рис.
6.13). Він еквівалентний переходу в початковий стан кожного з
кінцевих підавтоматів (єдиному на рис. 6.13), що входять до складу
даного стану-композиту. Перехід f, що виходить із складеного стану
(рис. 6.13), відноситься до кожного з вкладених станів. Це означає,
що модельована система або об'єкт при настання події f може
покинути даний складений стан, знаходячись в будь-якому з його
вкладених станів В і Г.

94