МОДЕЛИРОВАНИЕ КОЛЛЕКТИВНЫХ ОПЕРАЦИЙ MPI В ТЕРМИНАХ СЕТЕЙ ПЕТРИ
Предложен подход к моделированию MPI операций взаимодействия групп процессов в терминах сетей Петри. Вводятся крупноблочная композициональная модель среды MPI и расширения нотации композициональных сетей Петри для сокращения описания объектов в модели. Описывается модель коммуникатора MPI и приводятся примеры моделей коллективных операций MPI.
Ключевые слова: моделирование систем, сети Петри, интерфейс передачи сообщений, MPI