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