Сгенерируй вопрос по тексту, используя известный ответ. Текст: 'Параллелизм — это свойство систем, при котором несколько вычислений выполняются одновременно, и при этом, возможно, взаимодействуют друг с другом. Был разработан ряд математических моделей для общего вида параллельных вычислений, в том числе сети Петри, процессы исчисления и модель Parallel Random Access Machine (машины с параллельным произвольным доступом). Распределённая система расширяет идею параллелизма на несколько компьютеров, связанных посредством сети. Компьютеры в пределах одной распределённой системы имеют свою собственную память и часто обмениваются информацией между собой для достижения общей цели.'. Ответ: 'сети Петри'.
Какая математическая модель для общего вида параллельных вычислений существует?