On a Function Representation in an Imperative Program Model Specified by Petri Nets
Abstract
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 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.
About the Authors
G. V. Tarasov
Институт автоматики и процессов управления ДВО РАН
Russian Federation
Russian Federation
D. I. Kharitonov
Институт автоматики и процессов управления ДВО РАН
Russian Federation
Russian Federation
E. A. Golenkov
Институт автоматики и процессов управления ДВО РАН
Russian Federation
Russian Federation
References
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 с.: ил.
Review
For citations:
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.)
Views:
477
Email this article 