Representability of generalised regular languages by stochastic Petri nets

Abstract

Работа посвящена исследованию проблемы представимости обобщенного регулярного языка, как префиксного языка раскрашенной стохастической сети Петри. Определены условия, которым должна удовлетворять такая сеть, чтобы она порождала заданный R-обобщенный язык. Предложены алгоритмы построения такой стохастической раскрашенной сети Петри и подстановки сети в регулярное выражение R-обобщенного языка вместо выделенного символа в другом R-обобщенном языке. Реализована программа, выполняющая подсчет вероятности слова в языке, порождаемом стохастическим автоматом, и вероятности последовательности срабатываний в построенной сети Петри.

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.