Об одном представлении функции в модели императивной программы, заданной сетями Петри
Аннотация
Рассматривается подход к построению в терминах сетей Петри модели функции как элемента модели программы. Данный подход позволяет представить модель потока управления всей программы в целом как композицию составных моделей потоков управления каждой функции. На основе понятия объекта сети Петри описываются конструкции вызова функции и тела функции, а также описывается операция направленной композиции, отражающая передачу управления из вызывающей функции в вызываемую.
Об авторах
Георгий Витальевич Тарасов
Институт автоматики и процессов управления ДВО РАН
Россия
Россия
Дмитрий Иванович Харитонов
Институт автоматики и процессов управления ДВО РАН
Россия
Россия
Евгений Александрович Голенков
Институт автоматики и процессов управления ДВО РАН
Россия
Россия
Список литературы
1. Котов В.Е. Сети Петри. М.: Наука. Главная редакция физико-математической литературы, 1984. 160 с.
2. Питерсон Дж.Л. Теория сетей Петри и моделирование систем: Пер. с англ. М.: Мир, 1984. 264 с., ил.
3. Анисимов Н.А., Голенков Е.А., Харитонов Д.И. Композициональный подход к разработке параллельных и распределенных систем на основе сетей Петри // Программирование. 2001. №6. С. 30-43.
4. Голенков Е.А., Соколов А.С. Метод автоматического построения модели параллельной программы в терминах сетей Петри // Вычислительные методы и программирование. 2005. Т. 6, №2. С. 77-82.
5. 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.
6. Ломазова И.А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой. М.: Научный мир, 2004. 208 с.
7. Кларк Э.М., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking. Пер. с англ. / Под ред. Р. Смелянского. М.: МЦНМО, 2002. 416 с.: ил.
Рецензия
Для цитирования:
Тарасов Г.В., Харитонов Д.И., Голенков Е.А. Об одном представлении функции в модели императивной программы, заданной сетями Петри. Моделирование и анализ информационных систем. 2011;18(2):18-38.
For citation:
Tarasov G.V., Kharitonov D.I., Golenkov E.A. On a Function Representation in an Imperative Program Model Specified by Petri Nets. Modeling and Analysis of Information Systems. 2011;18(2):18-38. (In Russ.)
Просмотров: 407
Послать статью по эл. почте 