Цели работы:
1.Научиться строить событийные модели определенных видов деятельности (бизнес-процессов) на основе формализмов сетей Петри с использованием структурного подхода;
2. Составить вероятностную модель функционирования заданной системы как цепи Маркова и исследовать характеристики ее функционирования;
3. Сопоставить полученные модели с моделями, полученными на основе диаграмм потоков данных DFD.
Содержание работы:
1. Доставить словесное описание заданной деятельности (по номеру варианта);
2. Изучить основные положения методологии диаграмм потоков данных DFD и построить для заданной деятельности контекстную диаграмму и детализирующие диаграммы первого уровня;
3. Выделить в полученном описании условия и события;
4. Составить сеть Петри, моделирующую описанную систему, с использованием программы CPN Tools, определить начальную маркировку;
5. Составить дерево маркировок полученной сети Петри;
6. Выделить на дереве маркировок фрагменты, которые можно рассматривать как состояния системы и составить цепь Маркова, описывающую переходы между состояниями;
7. Задаться численными значениями вероятностей перехода и рассчитать (в зависимости от вида полученной системы): средние времена функционирования системы, предельные вероятности нахождения системы в состояниях эргодического множества и др.
