Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов

Бухгольц, П.; Тарасюк, И.В.

dc.contributor.author	Бухгольц, П.
dc.contributor.author	Тарасюк, И.В.
dc.date.accessioned	2014-10-17T09:27:06Z
dc.date.available	2014-10-17T09:27:06Z
dc.date.issued	2006
dc.identifier.citation	Бухгольц П., Тарасюк И.В. Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов // Вестник НГУ. Серия: Математика. 2006. Т.6. вып.1. С. 14-42.	ru_RU
dc.identifier.uri	https://lib.nsu.ru/xmlui/handle/nsu/1826
dc.description.abstract	Вводится новый класс стохастических сетей Петри (ССП), который является модификацией дискретно-временных ССП (ДВССП) посредством введения пометки и называется помеченными ДВССП (ПДВССП). Воспринимаемое «внешним наблюдателем» поведение ПДВССП описывается посредством помечающих переходы действий,соответствующих элементарным активностям. Определяется динамическое поведение ПДВССП, и конструируется соответствующая дискретно-временная марковская цепь (ДВМЦ). Вводятся поведенческие эквивалентности ПДВССП, представляющие из себя варианты известных следовых и бисимуляционных отношений. Исследуются взаимосвязи всех упомянутых отношений эквивалентности. Дается логическая характеризация данных эквивалентностей в терминах формул вероятностных модальных логик. Демонстрируется, как понятия эквивалентностей можно использовать для сравнения стационарного поведения ПДВССП. Предлагается стохастическая алгебра процессов, формулы которой описывают особый подкласс ПДВССП.	ru_RU
dc.language.iso	ru	ru_RU
dc.publisher	Новосибирский государственный университет	ru_RU
dc.title	Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов	ru_RU
dc.title.alternative	Equivalences for stochastic Petri nets and stochastic process algebras	ru_RU
dc.type	Article	ru_RU