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

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

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



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






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


Системы и средства информ., 2018, том 28, выпуск 2, страницы 99–115 (Mi ssi575)  

Программная реализация метода генерации сетей Петри большого размера

Д. И. Харитонов, Г. В. Тарасов, Д. В. Леонтьев

Институт автоматики и процессов управления Дальневосточного отделения Российской академии наук

Аннотация: Описана программная реализация метода генерации сетей Петри (СП) для числа мест и переходов свыше одного миллиона. Особое внимание уделяется внутренним структурам данных и алгоритмической сложности поставленной задачи. Представленные результаты позволили получить программное средство с вычислительной сложностью $O(n)$, где $n$ — число элементов модели. Описанные теоретические исследования подтверждаются практическими результатами измерения производительности.

Ключевые слова: сети Петри; модель программы; структуры данных; анализ алгоритмов; объектно-ориентированное программирование.

Финансовая поддержка Номер гранта
Российская академия наук - Федеральное агентство научных организаций 0262-2014-0157
15-I-4-025
Работа выполнена при поддержке Программы Президиума РАН (проект 0262-2014-0157) и Программы «Дальний Восток» (проект 15-I-4-025).


DOI: https://doi.org/10.14357/08696527180208

Полный текст: PDF файл (1323 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
Поступила в редакцию: 10.10.2017

Образец цитирования: Д. И. Харитонов, Г. В. Тарасов, Д. В. Леонтьев, “Программная реализация метода генерации сетей Петри большого размера”, Системы и средства информ., 28:2 (2018), 99–115

Цитирование в формате AMSBIB
\RBibitem{KhaTarLeo18}
\by Д.~И.~Харитонов, Г.~В.~Тарасов, Д.~В.~Леонтьев
\paper Программная реализация метода генерации сетей Петри большого размера
\jour Системы и средства информ.
\yr 2018
\vol 28
\issue 2
\pages 99--115
\mathnet{http://mi.mathnet.ru/ssi575}
\crossref{https://doi.org/10.14357/08696527180208}
\elib{http://elibrary.ru/item.asp?id=32795853}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ssi575
  • http://mi.mathnet.ru/rus/ssi/v28/i2/p99

    ОТПРАВИТЬ: 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
  • Системы и средства информатики
    Просмотров:
    Эта страница:88
    Полный текст:47
    Литература:8
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020