title: Representability of generalised regular languages by stochastic Petri nets
metadata.name: dc.contributor.advisor
metadata.value: Кривулин Николай Кимович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Krivulin Nikolaj Kimovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Пинаева Юлия Олеговна
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Pinaeva Ulia Olegovna
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Пономарева Александра Юрьевна
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Ponomareva Aleksandra Urevna
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2024-07-25T11:49:50Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:49:50Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 086916
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/46293
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Работа посвящена исследованию проблемы представимости обобщенного регулярного языка, как префиксного языка раскрашенной стохастической сети Петри. Определены условия, которым должна удовлетворять такая сеть, чтобы она порождала заданный R-обобщенный язык. Предложены алгоритмы построения такой стохастической раскрашенной сети Петри и подстановки сети в регулярное выражение R-обобщенного языка вместо выделенного символа в другом R-обобщенном языке. Реализована программа, выполняющая подсчет вероятности слова в языке, порождаемом стохастическим автоматом, и вероятности последовательности срабатываний в построенной сети Петри.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: The work is dedicated to investigating the problem of representing a generalized regular language as a prefix language of a colored stochastic Petri net. Conditions are defined that such a net must satisfy to generate a given R-generalized language. Algorithms for constructing such a stochastic colored Petri net and for substituting the net into the regular expression of an R-generalized language instead of a designated symbol in another R-generalized language are proposed. A program is implemented to calculate the probability of a word in the language generated by a stochastic automaton and the probability of the sequence of firings in the constructed Petri net.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: Абстрактный автомат
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: стохастический автомат
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: R-автомат
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: R-обобщенный язык
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: регулярный язык
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: сеть Петри
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: стохастическая сеть Петри
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: раскрашенная сеть Петри
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: дискретно-временная сеть Петри
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: префиксный язык
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: метод сетевой подстановки.
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Abstract automaton
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: stochastic automaton
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: R-automaton
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: R-generalized language
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: regular language
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Petri net
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: stochastic Petri net
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: colored Petri net
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: discrete-time Petri net
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: prefix language
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: network substitution method.
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Representability of generalised regular languages by stochastic Petri nets
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Представимость обобщенных регулярных языков стохастическими сетями Петри
metadata.lang: ru_RU
resources.filename: Pinaeva_diploma.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46293/2/Pinaeva_diploma.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 2,55 MB
resources.filename: reviewSV_Otzyv_Pinaeva_U_O_diplom.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46293/3/reviewSV_Otzyv_Pinaeva_U_O_diplom.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 344,35 kB
resources.filename: reviewSV_st086916_Pinaeva_Ulia_Olegovna_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/46293/4/reviewSV_st086916_Pinaeva_Ulia_Olegovna_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 6,17 kB