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

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

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



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






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


Моделирование и анализ информационных систем, 2014, том 21, номер 6, страницы 18–30 (Mi mais409)  

Управляемые тупики в параллельных ресурсно-ограниченных потоках работ

В. А. Башкин, Н. Ю. Панфилова

Ярославский государственный университет им. П. Г. Демидова, 150000 Россия, г. Ярославль, ул. Советская, 14
Список литературы:
Аннотация: Работа посвящена проблеме проверки правильной организованности (бездефектности) сетей потоков работ с ресурсами. Поток работ называется бездефектным, если он может быть корректно завершен от любого достижимого состояния. Рассматривается класс схем ресурсно-ограниченных потоков работ (RCWF-сетей), в которых экземпляры процесса могут использовать внешние ресурсы, но не могут за время своей жизни изменить их количество.
Две бездефектные RCWF-сети, использующие один и тот же набор ресурсов, могут быть запущены параллельно. Подобная параллельная композиция в некоторых случаях может порождать дополнительные тупики, вызванные взаимными блокировками. Мы исследуем проблему обнаружения потенциальных блокировок и предлагаем способы организации такого управления сетью, которое позволило бы их избегать.
Ключевые слова: потоки работ, ресурс, бездефектность, параллельная композиция, тупик, верификация.
Поступила в редакцию: 15.09.2014
Тип публикации: Статья
УДК: 519.71+004.021
Образец цитирования: В. А. Башкин, Н. Ю. Панфилова, “Управляемые тупики в параллельных ресурсно-ограниченных потоках работ”, Модел. и анализ информ. систем, 21:6 (2014), 18–30
Цитирование в формате AMSBIB
\RBibitem{BasPan14}
\by В.~А.~Башкин, Н.~Ю.~Панфилова
\paper Управляемые тупики в параллельных ресурсно-ограниченных потоках работ
\jour Модел. и анализ информ. систем
\yr 2014
\vol 21
\issue 6
\pages 18--30
\mathnet{http://mi.mathnet.ru/mais409}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais409
  • https://www.mathnet.ru/rus/mais/v21/i6/p18
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:211
    PDF полного текста:85
    Список литературы:48
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025