Определяем свойства сети Петри:
Безопасность: Данная сеть Петри не безопасна потому как существует разметка M0(210011)
Консервативность: Данная сеть Петри не безопасна потому как существуют разметки M0=5 и M2=7
Ограниченность: Данная сеть Петри не ограниченна. Так как существует разметок M0(210011) > M2(220111) > M9(2300211) > M23(240311) при которых в позиции P2 происходит накопление фишек за счет постоянного срабатывания перехода t2.
Определяем свойства переходов сети Петри:
t1 – обладает свободой 1, так как существует разметка M0(210011) при которой он срабатывает.
t2 – обладает свободой 3, так как может сработать бесконечное число раз.
t3 – обладает свободой 2, так как может сработать больше любого конечного числа раз.
t4 – обладает свободой 1, так как существует разметка M3(101111) при которой он срабатывает.
t5 – обладает свободой 1, так как существует разметка M0(210011) при которой он срабатывает.
t6 – обладает свободой 2, так как может сработать больше любого конечного числа раз.
Находим инварианты сетей Петри:
0
Так как divV=0 следовательно инвариантов для данной сети не существует.
Дорисовываем сеть до консервативной:
Находим инварианты по позициям:
+ =0
+ + =0
+ =0
+ =0
Заключение
В результате данной расчетно-графической работы я провел анализ вычислительной системы.
Изучил функциональные возможности программы Matcad.
Провел анализ вычислительной системы: определил свойства, произвел оценку производительности и надежности системы с заданной конфигурацией, режимом функционирования и рабочей нагрузкой.
Смоделировал последовательность случайных событий с конечным числом исходов.
Смоделировал модель дискретных динамических систем, ориентированных на качественный анализ и синтез таких систем (обнаружение тупиков, блокировок, узких мест)
Список используемых источников
Г.А. Доррер. Методы анализа вычислительных систем: учебное пособиедля студентов направления 552800 и специальности 220400 всех форм обучения.
- Красноярск, СибГТУ, 2000г. – 143 с.
Доррер Г.А. Методы моделирования дискретных систем.
Учебное попсбие для студентов направления 552800 и 654600, специальности 220400 Программное обеспечение вычислительной техники и автоматизированных систем.
- Красноярск: СибГТУ, 2004г. – 202 с.
Питерсон Дж. Теория сетей Петри и моделирование систем. М., Мир, 1984.
Котов В.Е. Сети Петри М., Наука, 1984.-158с.
Приложение а