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

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