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

И. В. Тарасюк

РОССИЯ, 630090, Новосибирск, пр. Акад. Лаврентьева, 6, Институт систем информатики им. А. П. Ершова СО РАН

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

Ключевые слова: стохастическая алгебра процессов, стохастическая сеть Петри, исчисление боксов Петри, итерация, дискретное время, система переходов, операционная семантика, dts-бокс, денотационная семантика, стохастическая эквивалентность, моделирование, анализ производительности, редукция.

УДК: 519.681.3, 519.681.2

Поступила в редакцию: 09.12.2008