Вестник НГУ. Серия: Математика, механика, информатика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Сиб. журн. чист. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Вестник НГУ. Серия: Математика, механика, информатика, 2006, том 6, выпуск 1, страницы 14–42 (Mi vngu223)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

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

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

a GERMANY, D-44221, Dortmund, Department of Computer Science, University of Dortmund
b РОССИЯ, 630090, г. Новосибирск, просп. Академика Лаврентьева, 6
PDF полного текста (374 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: Вводится новый класс стохастических сетей Петри (ССП), который является модификацией дискретно-временных ССП (ДВССП) посредством введения пометки и называется помеченными ДВССП (ПДВССП). Воспринимаемое «внешним наблюдателем» поведение ПДВССП описывается посредством помечающих переходы действий, соответствующих элементарным активностям. Определяется динамическое поведение ПДВССП, и конструируется соответствующая дискретно-временная марковская цепь (ДВМЦ). Вводятся поведенческие эквивалентности ПДВССП, представляющие из себя варианты известных следовых и бисимуляционных отношений. Исследуются взаимосвязи всех упомянутых отношений эквивалентности. Дается логическая характеризация данных эквивалентностей в терминах формул вероятностных модальных логик. Демонстрируется, как понятия эквивалентностей можно использовать для сравнения стационарного поведения ПДВССП. Предлагается стохастическая алгебра процессов, формулы которой описывают особый подкласс ПДВССП.
Поступила в редакцию: 01.11.2004
Тип публикации: Статья
УДК: 519.681.3, 519.681.2
Образец цитирования: П. Бухгольц, И. В. Тарасюк, “Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов”, Вестн. НГУ. Сер. матем., мех., информ., 6:1 (2006), 14–42
Цитирование в формате AMSBIB
\RBibitem{BucTar06}
\by П.~Бухгольц, И.~В.~Тарасюк
\paper Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов
\jour Вестн. НГУ. Сер. матем., мех., информ.
\yr 2006
\vol 6
\issue 1
\pages 14--42
\mathnet{http://mi.mathnet.ru/vngu223}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vngu223
  • https://www.mathnet.ru/rus/vngu/v6/i1/p14
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Вестник Новосибирского государственного университета. Серия: математика, механика, информатика
    Статистика просмотров:
    Страница аннотации:160
    PDF полного текста:70
    Список литературы:42
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024