Об одном представлении функции в модели императивной программы, заданной сетями Петри

Полный текст:


Аннотация

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

Об авторах

Георгий Витальевич Тарасов
Институт автоматики и процессов управления ДВО РАН
Россия


Дмитрий Иванович Харитонов
Институт автоматики и процессов управления ДВО РАН
Россия


Евгений Александрович Голенков
Институт автоматики и процессов управления ДВО РАН
Россия


Список литературы

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.)

Просмотров: 9

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)