Лекции по сетям Петри - лекции
Активность сетей Петри. Задача о чтении и записи
Безопасность сетей Петри. Задача о взаимном исключении
Достижимость и покрываемость сетей Петри
Использование сетей Петри для моделирования процессов синхронизации
Конечные автоматы
Ограниченность дерева достижимости
Ограниченность сетей Петри. Задача о производителе и потребителе
Ограниченность сетей Петри. Задача об обедающих мудрецах
Сохранение сетей Петри. P- и V- системы
Теорема - Задача достижимости сводится к задаче активности