Modeling function calls in program control flow in terms of Petri Nets
Journal: Advances in Computer Science : an International Journal(ACSIJ) (Vol.3, No. 6)Publication Date: 2014-11-30
Authors : Dmitriy Kharitonov; George Tarasov;
Page : 82-91
Keywords : Compositional Petri Net; Control Flow; Program Model; C/C++ Programming Language;
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 mod ...
Other Latest Articles
- A Game Theoretical Interest Forwarding for Cached Data in Content-Centric Networking
- A Hybrid Approach to Privacy Preserving in Association Rules Mining
- Subspace identification of wind turbine shaft vibrations measured with a piezoelectric sensor
- Analysis of Inter cluster movement based on geometric probability and regression
- Vulnerabilities and Improvements on HRAP+, a Hash-Based RFID Authentication Protocol
Last modified: 2014-12-01 19:37:50