maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State Universitymais-1086Research ArticleОригинальные статьиArticlesОб одном представлении функции в модели императивной программы, заданной сетями ПетриOn a Function Representation in an Imperative Program Model Specified by Petri NetsТарасовГеоргий ВитальевичTarasovG. V.george@dvo.ruХаритоновДмитрий ИвановичKharitonovD. I.noemail@neicon.ruГоленковЕвгений АлександровичGolenkovE. A.noemail@neicon.ruИнститут автоматики и процессов управления ДВО РАНRussian Federation2011200620111821838Copyright © Тарасов Г.В., Харитонов Д.И., Голенков Е.А., 20112011Тарасов Г.В., Харитонов Д.И., Голенков Е.А.Tarasov G.V., Kharitonov D.I., Golenkov E.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/1086

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

In the article an approach to constructing in terms of Petri nets a function model as a program model unit is considered. This approach makes it possible to present a program control flow model in a whole as a composition of constituent control flow models of each function. In the article constructions of function call and function body are introduced on the base of Petri net object, and then an operation of directed composition of Petri net object is defined that represents a control flow transfer between caller and called functions.

модель программымодель потока управлениятеория сетей Петриобъект сети Петриprogram modelcontrol flow modelPetri net objectReferencesКотов В.Е. Сети Петри. М.: Наука. Главная редакция физико-математической литературы, 1984. 160 с.Котов В.Е. Сети Петри. М.: Наука. Главная редакция физико-математической литературы, 1984. 160 с.Питерсон Дж.Л. Теория сетей Петри и моделирование систем: Пер. с англ. М.: Мир, 1984. 264 с., ил.Питерсон Дж.Л. Теория сетей Петри и моделирование систем: Пер. с англ. М.: Мир, 1984. 264 с., ил.Анисимов Н.А., Голенков Е.А., Харитонов Д.И. Композициональный подход к разработке параллельных и распределенных систем на основе сетей Петри // Программирование. 2001. №6. С. 30-43.Анисимов Н.А., Голенков Е.А., Харитонов Д.И. Композициональный подход к разработке параллельных и распределенных систем на основе сетей Петри // Программирование. 2001. №6. С. 30-43.Голенков Е.А., Соколов А.С. Метод автоматического построения модели параллельной программы в терминах сетей Петри // Вычислительные методы и программирование. 2005. Т. 6, №2. С. 77-82.Голенков Е.А., Соколов А.С. Метод автоматического построения модели параллельной программы в терминах сетей Петри // Вычислительные методы и программирование. 2005. Т. 6, №2. С. 77-82.Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing, 1997.Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing, 1997.Ломазова И.А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой. М.: Научный мир, 2004. 208 с.Ломазова И.А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой. М.: Научный мир, 2004. 208 с.Кларк Э.М., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking. Пер. с англ. / Под ред. Р. Смелянского. М.: МЦНМО, 2002. 416 с.: ил.Кларк Э.М., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking. Пер. с англ. / Под ред. Р. Смелянского. М.: МЦНМО, 2002. 416 с.: ил.

The authors declare that there are no conflicts of interest present.