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