9;яті схеми S при інтерпретації I.
Нехай Ui = (ki, Wi) - i-я конфігурація ПВП, а О - оператор схеми S у вершині з міткою ki. Якщо О - заключний оператор stop (? 1,? 2 ...? N), то Ui - остання конфігурація, так що протокол кінцевий. У цьому випадку вважають, що, програма (S, I) зупиняється, а послідовність значень ? 1I (W),? 2I (W), ...,? NI (W ) оголошують результатом val (S, I) виконання програми (S, I). В іншому випадку, тобто коли Про - не заключний оператор, у протоколі є наступна, (i +1)-я конфігурація Ui +1 = (ki +1, Wi +1), причому
а) якщо О - початковий оператор, а виходить з нього дуга веде до вершини з міткою L, то ki +1 = L і Wi +1 = Wi;
б) якщо О - оператор присвоювання х: = ?, а виходить з нього дуга веде до вершини з міткою L, то ki +1 = L, Wi +1 = Wi, Wi +1 (х) = ? 1 (Wi);
в) якщо О - умовний оператор p і p I (Wi) =?, де ? ГЋ { 0,1 } , а виходить з нього дуга веде до вершини з міткою L, то ki +1 = L і Wi +1 = Wi;
г) якщо О - оператор петлі, то ki +1 = L і Wi +1 = Wi, так що протокол нескінченний.
Таким чином, програма зупиняється тоді і тільки тоді, коли протокол її виконання кінцевий. В іншому випадку програма зациклюється і результат її виконання не визначений. br/>
Мережі Петрі
Введення в мережі Петрі
Мережі Петрі це інструмент для математичного моделювання та дослідження складних систем. Мета подання системи у вигляді мережі Петрі і подальшого аналізу цієї мережі полягає в отриманні важливої вЂ‹вЂ‹інформації про структуру та динамічному поведінці моделюється. Ця інформація може використовуватися для оцінки модельованої системи і вироблення пропозицій щодо її удосконалення. Вперше мережі Петрі запропонував німецький математик Карл Адам Петрі. p align="justify"> Мережі Петрі призначені для моделювання систем, які складаються з безлічі взаємодіючих один з одним компонент. При цьому компоненту сама може бути системою. Діям різних компонент системи притаманний паралелізм. Прикладами таких систем можуть служити обчислювальні системи, в тому числі і паралельні, комп'ютерні мережі, програмні системи, що забезпечують їх функціонування, а також економічні системи, системи управління дорожнім рухом, хімічні системи, і т. д.
