Теоретическое исследование моделей программы, решающей заданную задачу

Написать программу решения задачи, номер которой совпадает с Вашим номеров в журнале.Сети Петри это инструмент для математического моделирования и исследования сложных систем.Задачи к курсовой работе.Указать интерпретацию ССП и составить протокол выполнения программы.Доказать частичную и полную правильность программы.Стандартные схемы программ (ССП) характеризуются базисом и структурой схемы.Схема S называется правильной, если на каждой дуге заданы все переменные.Таким образом, программа останавливается тогда и только тогда, когда протокол ее выполнения конечен.В противном случае программа зацикливается и результат ее выполнения не определен.Затем построенная система моделируется сетью Петри, и модель анализируется.