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

На основании этого можно сделать вывод, что программа решает поставленную задачу правильно.Была представленная стандартная схема программы, решающей заданную задачу.Написать программу решения задачи, номер которой совпадает с номером в журнале (вариант №5) .Программная реализация решения задачи выполнена наC# в VisualStudio 2008.calc ().Таким образом, результат данных исследований позволяет сделать вывод о правильности программы.Задача к курсовой работе.Сеть петри модель программа.Указать интерпретацию ССП и составить протокол выполнения программы.Доказать частичную и полную правильность программы.Базис класса стандартных схем программ.