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

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

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


ТВИМ:
Год:
Том:
Выпуск:
Страница:
Найти




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

Таврический вестник информатики и математики, 2017, выпуск 2, страницы 62–71 (Mi tvim21)  
О структурировании задействованной дискретной информации моделей Петри с целью ускорения вычисления инвариантов

А. В. Дереза, Е. А. Лукьянова

Крымский федеральный университет им. В. И. Вернадского, Таврическая академия, факультет математики и информатики, просп. Академика Вернадского, 4, Симферополь, 295007, Российская Федерация
PDF полного текста (1036 kB)
Аннотация: В работе на примере моделирования задачи получения информации из нескольких баз данных реализовано совместное применение аппарата компонентного моделирования и усеченной матрицы инцидентности для структурирования задействованной дискретной информации, требуемой в процессе нахождения инвариантов временной модели Петри, с целью дальнейшего ускорения её анализа.
Ключевые слова: модели Петри со временем, большие данные, компонентное моделирование, матрица инцидентности, инварианты временной сети Петри.
Тип публикации: Статья
УДК: 519.711, 519.17
MSC: 05C50, 05C51
Образец цитирования: А. В. Дереза, Е. А. Лукьянова, “О структурировании задействованной дискретной информации моделей Петри с целью ускорения вычисления инвариантов”, ТВИМ, 2017, № 2, 62–71
Цитирование в формате AMSBIB
\RBibitem{DerLuk17}
\by А.~В.~Дереза, Е.~А.~Лукьянова
\paper О структурировании задействованной дискретной информации моделей Петри с целью ускорения вычисления инвариантов
\jour ТВИМ
\yr 2017
\issue 2
\pages 62--71
\mathnet{http://mi.mathnet.ru/tvim21}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tvim21
  • https://www.mathnet.ru/rus/tvim/y2017/i2/p62
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Таврический вестник информатики и математики
    Статистика просмотров:
    Страница аннотации:59
    PDF полного текста:15
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024