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

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

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



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






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


Модел. и анализ информ. систем, 2015, том 22, номер 4, страницы 563–577 (Mi mais460)  

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

A method of sample models of program construction in terms of Petri nets

[Метод генерации примеров моделей программ в терминах сетей Петри]

D. I. Kharitonova, E. A. Golenkova, G. V. Tarasovab, D. V. Leontyevba

a Institution of Russian Academy of Sciences Institute of Automation and Control Processes Far Eastern Branch of the RAS, 5 Radio str., Vladivostok, Russia, 690041
b Far-Eastern Federal University, 8 Suhanova st., Vladivostok, Russia, 690950

Аннотация: В данной работе рассматривается с формальной точки зрения метод построения сетей Петри, имитирующих поведение императивных программ. Примеры сетей Петри с заданными характеристиками являются необходимыми в процессе программирования новых алгоритмов анализа моделей программ, в частности, они могут использоваться для разработки и оптимизации алгоритмов композиции и декомпозиции сетей Петри, построения дерева достижимости, проверки инвариантов и т.д. Способ построения состоит из двух стадий. На первой стадии описываются шаблонные конструкции, из которых будет состоять результирующая сеть, и параметры, с которыми будет выполняться построение. С помощью этих параметров можно регулировать конечный размер, а также абсолютное или относительное количество определённых конcтрукций в результирующей сети. На второй стадии с помощью автоматического итерационного процесса может быть сгенерирована сеть Петри любого размера, ограниченного оперативной памятью компьютера. В первом разделе статьи приводится необходимый минимум определений и вводится новый вариант операции композиции сетей Петри по местам. Свойства коммутативности и ассоциативности бинарного вида предложенной операции позволяют сливать несколько сетей Петри в произвольном порядке. Далее вводится понятие шаблонной конструкции в виде маркированной сети Петри, обладающей входным и выходным интерфейсами, а также правилами композиции шаблонных конструкций с использованием этих интерфейсов. Множество шаблонных конструкций объединяются в набор, для которого определяются правила эволюции. Свойство полноты набора гарантирует, что в результате эволюции набора будет получена сеть Петри, имитирующая поведение императивной программы. В статье приводится вариант полного набора шаблонных конструкций и пример генерации сети Петри, имитирующей последовательную императивную программу.
Статья публикуется в авторской редакции.

Ключевые слова: модель программы, модель потока управления, теория сетей Петри, объект сети Петри.

Финансовая поддержка Номер гранта
Российская академия наук - Федеральное агентство научных организаций 0262-2014-0157
Программа фундаментальных исследований РАН по приоритетным направлениям "Фундаментальные проблемы математического моделирования"


DOI: https://doi.org/10.18255/1818-1015-2015-4-563-577

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

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

Тип публикации: Статья
УДК: 519.681.2
Поступила в редакцию: 01.09.2015
Язык публикации: английский

Образец цитирования: 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

Цитирование в формате AMSBIB
\RBibitem{KhaGolTar15}
\by D.~I.~Kharitonov, E.~A.~Golenkov, G.~V.~Tarasov, D.~V.~Leontyev
\paper A method of sample models of program construction in terms of Petri nets
\jour Модел. и анализ информ. систем
\yr 2015
\vol 22
\issue 4
\pages 563--577
\mathnet{http://mi.mathnet.ru/mais460}
\crossref{https://doi.org/10.18255/1818-1015-2015-4-563-577}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3418474}
\elib{http://elibrary.ru/item.asp?id=24273055}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais460
  • http://mi.mathnet.ru/rus/mais/v22/i4/p563

    ОТПРАВИТЬ: 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. Д. И. Харитонов, Г. В. Тарасов, Д. В. Леонтьев, “Программная реализация метода генерации сетей Петри большого размера”, Системы и средства информ., 28:2 (2018), 99–115  mathnet  crossref  elib
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:94
    Полный текст:33
    Литература:14

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019