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

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

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



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






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


Выч. мет. программирование, 2005, том 6, выпуск 2, страницы 77–82 (Mi vmp660)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Метод автоматического построения модели параллельной программы в терминах сетей Петри

Е. А. Голенков, А. С. Соколов

Институт автоматики и процессов управления ДВО РАН, г. Владивосток

Аннотация: В статье рассматривается метод автоматического построения моделей для параллельных программ, выполняющихся в среде передачи сообщений. Предлагаемый метод позволяет строить модели параллельных программ, поток управления которых представляется в терминах сетей Петри, а описание данных и их модификация остаются в терминах исходного языка программирования. Предлагаемый метод разработан в рамках проекта создания экспериментальной среды разработки параллельных программ, использующей аппарат теории сетей Петри, и реализован в виде одной из ее подсистем.

Ключевые слова: параллельное программирование; сети Петри; построение модели; трансляция.

Полный текст: PDF файл (173 kB)
УДК: 519.6

Образец цитирования: Е. А. Голенков, А. С. Соколов, “Метод автоматического построения модели параллельной программы в терминах сетей Петри”, Выч. мет. программирование, 6:2 (2005), 77–82

Цитирование в формате AMSBIB
\RBibitem{GolSok05}
\by Е.~А.~Голенков, А.~С.~Соколов
\paper Метод автоматического построения модели параллельной программы в терминах сетей Петри
\jour Выч. мет. программирование
\yr 2005
\vol 6
\issue 2
\pages 77--82
\mathnet{http://mi.mathnet.ru/vmp660}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/vmp660
  • http://mi.mathnet.ru/rus/vmp/v6/i2/p77

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Г. В. Тарасов, Д. И. Харитонов, Е. А. Голенков, “Об одном представлении функции в модели императивной программы, заданной сетями Петри”, Модел. и анализ информ. систем, 18:2 (2011), 18–38  mathnet
    2. D. I. Kharitonov, E. A. Golenkov, G. V. Tarasov, D. V. Leontyev, “A method of sample models of program construction in terms of Petri nets”, Модел. и анализ информ. систем, 22:4 (2015), 563–577  mathnet  crossref  mathscinet  elib
  • Вычислительные методы и программирование
    Просмотров:
    Эта страница:42
    Полный текст:21
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021