Изучение способов представления и исследования сетей Петри

1.     Описать заданную СП-модель с помощью матриц F,H, m0.

2.     Провести исследование СП-модели на основе матричных методов. Сделать заключение о живости и безопасности сети.

3.     Провести исследование СП-модели путем построения дерева достижимых разметок (ДДР) вручную и с использованием программного комплекса. Сравнить полученные результаты.

4.     На основе проведенных исследований оценить корректность СП-модели и предложить варианты устранения недостатков в случае их обнаружения. Допустимо добавлять новые элементы и ограниченно видоизменять топологию сети. Полученная модель должна отвечать требованиям живости и безопасности.

5.     Провести исследование полученной сети с помощью матричных методов и ДДР.

6.     Сравнить изученные способы анализа СП и сформулировать методику их совместного использования для исследования СП-моделей вычислительных систем.