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

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

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



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






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


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

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

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

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

Институт автоматики и процессов управления ДВО РАН, г. Владивосток
Аннотация: В статье рассматривается метод автоматического построения моделей для параллельных программ, выполняющихся в среде передачи сообщений. Предлагаемый метод позволяет строить модели параллельных программ, поток управления которых представляется в терминах сетей Петри, а описание данных и их модификация остаются в терминах исходного языка программирования. Предлагаемый метод разработан в рамках проекта создания экспериментальной среды разработки параллельных программ, использующей аппарат теории сетей Петри, и реализован в виде одной из ее подсистем.
Ключевые слова: параллельное программирование; сети Петри; построение модели; трансляция.
УДК: 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}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vmp660
  • https://www.mathnet.ru/rus/vmp/v6/i2/p77
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Вычислительные методы и программирование
    Статистика просмотров:
    Страница аннотации:79
    PDF полного текста:32
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024