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

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

کلیدواژه ها:

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