ВИСНОВКИ
Паралельне програмування набуває все більшого поширення і розвитку в світі з появою потужних супер ЕОМ та комп’ютерних комплексів які складаються з кількох комп’ютерів які об’єднані в мережу.
З цих передумов виникає проблема моделювання розподілених обчислень. При використанні мереж Петрі для моделювання виникають ряд проблем, однією з яких і є виникнення тупикової розмітки (deadlock). Після виникнення проблемі відразу йде і пошук вирішення даної проблеми.
В роботі досліджено роботу класичних мереж Петрі, умови виникнення різних проблем, однією з яких і є виникнення тупикової розмітки.
Для досягнення мети в роботі вирішено такі задачі:
1. досліджено і охарактеризовано роботу мереж Петрі;
2. розроблено програму яка перевіряє мережу Петрі на існування тупикової розмітки;
стор.61