Безбедова Л.Г., Ключко В.И. Теория вычислительных процессов

Методическое пособие. Краснодар 2004г. 47-с.
предназначен для студентов специальностей 220400,230105. ВВЕДЕНИЕ.
ОСНОВНЫЕ ПОНЯТИЯ.
Системы, процессы, сети.
Формальное определение сети Петри.
СВОЙСТВА СЕТЕЙ ПЕТРИ И ИХ АНАЛИЗ.
Основные свойства сетей Петри.
Проблемы ограниченности и безопасности.
Проблемы Я- включения и Я-эквивалентности.
РЕГУЛЯРНЫЕ И ИЕРАРХИЧЕСКИЕ СЕТИ.
Алгебра регулярных сетей.
Некоторые свойства регулярных сетей.
Иерархические сети.
СТРУКТУРА УПРАВЛЕНИЯ ПРОГРАММЫ.
Последовательная структура управления.
Литература.