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. All results are illustrated on an example of real parallel program.