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

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