Представление блок-схемы сетями Петри, Задачи синхронизации Теория вычислитель