سیویلیکا را در شبکه های اجتماعی دنبال نمایید.

Login
PapersConferencesJournals

Modeling function calls in program control flow in terms of Petri Nets

Publish place: Advances in Computer Science : an International Journal، Vol: 3، Issue: 6
Publish Year: 1393
Type: Journal paper
Language: English
View: 480

This Paper With 10 Page And PDF Format Ready To Download

DOWNLOAD Paper

Export:

Link to this Paper:
https://civilica.com/doc/334666

Document National Code:

JR_ACSIJ-3-6_013

Index date: 28 February 2015

Modeling function calls in program control flow in terms of Petri Nets abstract

This article presents a method for representing the C/C++ function call in terms of compositional Petri Nets. Principles of modeling function and function call in the program are described.Formal composition operations to construct program model from models of its functions and modules are also introduced. Allresults are illustrated on an example of real parallel program

Modeling function calls in program control flow in terms of Petri Nets Keywords:

Compositional Petri Net , Control Flow , Program Model , C/C++ Programming Language

Modeling function calls in program control flow in terms of Petri Nets authors

Dmitriy Kharitonov

Institute of Automation and Control Processes Far-Eastern Branch of Russian Academy of Sciences Vladivostok, ۵ Radio st., ۶۹۰۰۴۱, Russia

George Tarasov

Far-Eastern Federal University Vladivostok, ۸ Suhanova st., ۶۹۰۹۵۰, Russia Institute of Automation and Control Processes Far-Eastern Branch of Russian Academy of Sciences Vladivostok, ۵ Radio st., ۶۹۰۰۴۱, Russia