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