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