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

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

Автор курса доктор физико-математических наук Вирбицкайте Ирина Бонавентуровна.