Моделирование и анализ производительности параллельных процессов в алгебре dtsPBC

Abstract

Исчисление боксов Петри PBC — известная алгебра параллельных процессов с семантикой сетей Петри. Автором было разработано дискретно-временное стохастическое расширение dtsPBC конечного PBC, дополненное позже оператором итерации. В этой работе в рамках dtsPBC с итерацией на примере системы с разделяемой памятью описывается метод моделирования, анализа производительности и сохраняющей поведение редукции параллельных процессов со стохастическими временными задержками.