Котов В.Е. Сети Петри

М.: Наука, Главная редакция физико-математической литературы, 1984 — 158 с. Книга посвящена систематическому изложению теории сетей Петри, которые относятся к числу наиболее важных и распространенных математических моделей в области обработки информации. Они обеспечивают формальное описание как алгоритмов и программ, так и собственно вычислительных систем и их устройств, а также порождаемых вычислительных процессов, и используются для решения разнообразных задач анализа, синтеза и оптимизации.