Page 97 - 6602
P. 97
кінцевий підавтомат доходить до свого кінцевого стану. При цьому
неглибокий історичний стан запам'ятовує історію лише того
кінцевого підавтомата, до якого він відноситься. Іншими словами,
цей тип псевдостану здатний запам'ятати історію лише одного з ним
рівня вкладеності.
Якщо запамятований підстан також є складеним станом, а при
виході з вихідного складеного стану необхідно запам'ятати підстан
другого рівня вкладеності, то в цьому випадку слід скористатися
сильнішим псевдостаном - глибоким історичним станом.
Глибокий історичний стан (deep history state) (рис. 6.11, б)
служить для запам'ятовування всіх підстанів будь-якого рівня
вкладеності для вихідного складеного стану.
Складні переходи і псевдостани
В окремих випадках виникає необхідність явно показати
ситуацію, коли перехід може мати декілька вихідних станів або
цільових станів. Такий перехід отримав назву паралельний перехід.
Введення в розгляд паралельних переходів може бути обумовлене
необхідністю синхронізувати і розділити окремі процеси
управління на паралельні нитки.
Графічно такий перехід зображається вертикальною рискою,
аналогічно позначенню переходу у мережах Петрі. Якщо
паралельний перехід має дві або більше вихідних дуг (рис. 6.12, а),
то його називають розділенням (fork). Якщо ж він має дві або
більш вхідні дуги (рис. 6.12, б), то його називають злиттям (join).
Текстовий рядок специфікації паралельного переходу записується
поряд з рискою і відноситься до всіх вхідних або вихідних дуг.
Спрацьовування паралельного переходу відбувається так. У
першому випадку відбувається розділення складеного кінцевого
автомата на два кінцеві підавтомати, створюючи паралельні гілки
вкладених підпроцесів. При цьому після спрацьовування переходу-
93