Реферат Теоретичне дослідження моделей програми, вирішальної задану задачу

Тема: Курсовые обзорные

pan> m [x] Ві m '. Якщо такої вершини не існує, то маркування m 'не є покривається. Якщо вона знайдена, то m [x] визначає покриває маркування для m 'Якщо компонента маркування m [x], відповідна деякою позиції p збігається з w , то конкретне її значення може бути обчислене. У цьому випадку на шляху від початкової маркування до покриває маркуванні мається актуальна послідовність переходів, запуск якої збільшує значення маркування у позиції p. Число таких повторень повинно бути таким, щоб значення маркування у позиції p перевершило або зрівнялося з m '(p).

Аналіз жвавості. Перехід t мережі Петрі є потенційно живим, тоді і тільки тоді, коли він мітить деяку дугу в дереві досяжності цієї мережі. p align="justify"> Доказ очевидно.

Обмеженість методу дерева досяжності. Як видно з попереднього, дерево досяжності можна використовувати для вирішення завдань безпеки, обмеженості, збереження і покриваемості. На жаль, в загальному випадку його не можна використовувати для вирішення завдань досяжності і активності, еквівалентності. Вирішення цих завдань обмежено існуванням символу w . Символ w означає втрату інформації: конкретні кількості фішок відкидаються, враховується тільки існування їх великого числа.

Лінійна схема програми

: begin

: input mas, N

2: i: = c;

: m: if s (i, a) then goto m1;

: sum1: = a;

: sum2: = a;

: j: = k (i);

: l: if s (d, j) then goto l1;

: sum1: = f (sum1, mas, i, j);

: sum2: = g (sum2, mas, i, j);

: j: = inc (j);