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

Тарасюк, Игорь Валерьевич

dc.contributor.author	Тарасюк, Игорь Валерьевич
dc.date.accessioned	2014-10-24T17:54:34Z
dc.date.available	2014-10-24T17:54:34Z
dc.date.issued	2009
dc.identifier.citation	Тарасюк И.В. Моделирование и анализ производительности параллельных процессов в алгебре dtsPBC // Вестник НГУ. Серия: Математика. 2009. Т.9. Вып.4. С. 90–117.	ru_RU
dc.identifier.uri	https://lib.nsu.ru/xmlui/handle/nsu/1980
dc.description.abstract	Исчисление боксов Петри PBC — известная алгебра параллельных процессов с семантикой сетей Петри. Автором было разработано дискретно-временное стохастическое расширение dtsPBC конечного PBC, дополненное позже оператором итерации. В этой работе в рамках dtsPBC с итерацией на примере системы с разделяемой памятью описывается метод моделирования, анализа производительности и сохраняющей поведение редукции параллельных процессов со стохастическими временными задержками.	ru_RU
dc.language.iso	ru	ru_RU
dc.publisher	Новосибирский государственный университет	ru_RU
dc.subject	стохастическая алгебра процессов	ru_RU
dc.subject	стохастическая сеть Петри	ru_RU
dc.subject	исчисление боксов Петри	ru_RU
dc.subject	итерация	ru_RU
dc.subject	дискретное время	ru_RU
dc.subject	система переходов	ru_RU
dc.subject	операционная семантика	ru_RU
dc.subject	денотационная семантика	ru_RU
dc.subject	стохастическая эквивалентность	ru_RU
dc.subject	моделирование	ru_RU
dc.subject	анализ производительности	ru_RU
dc.subject	редукция	ru_RU
dc.subject	dts-бокс	ru_RU
dc.title	Моделирование и анализ производительности параллельных процессов в алгебре dtsPBC	ru_RU
dc.title.alternative	Modeling and performance analysis of concurrent processes in the algebra dtsPBC	ru_RU
dc.type	Article	ru_RU