Geodesic
A method of sample models of program construction in terms of Petri nets
Modelirovanie i analiz informacionnyh sistem, Tome 22 (2015) no. 4, pp. 563-577

Voir la notice de l'article provenant de la source Math-Net.Ru

In the article a method of automated construction of Petri nets simulating the behaviour of imperative programs is considered from the formal point of view. Petri net samples with certain characteristics are necessary in programming new algorithms for program analysis; in particular, they can be used for developing or optimizing algorithms of Petri nets compositions and decompositions, building the reachability tree, checking invariants and so on. The generation process consists of two stages. At the first stage, construction templates for a resulting net and parameters for construction are described. With the help of these parameters it is possible to regulate the final size and the absolute or relative amount of certain structures in the resulting net. At the second stage, iterative process of automated net construction is used for Petri net generation of any size, limited only by an available computer memory. In the first section of the article the minimum necessary definitions are given and a new version of Petri nets composition operation by places is introduced. Commutative and associative properties of introduced binary operation allow to synchronize any number of Petri nets in arbitrary order. Then construction template is defined as a marked Petri net with input and output interfaces and rules for templates composition using this interfaces. A number of construction templates can be united in a collection, for which the evolution rules are defined. The completeness property of a collection guarantees that the collection evolution results in a Petri net that simulates the imperative program behavior. The article provides a version of the construction templates complete collection and an example of Petri net simulating sequential imperative program construction. The article is published in the author's wording.
Keywords: program model, control flow model, Petri net object. 
@article{MAIS_2015_22_4_a8,
     author = {D. I. Kharitonov and E. A. Golenkov and G. V. Tarasov and D. V. Leontyev},
     title = {A method of sample models of program construction in terms of {Petri} nets},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {563--577},
     publisher = {mathdoc},
     volume = {22},
     number = {4},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2015_22_4_a8/}
}
TY  - JOUR
AU  - D. I. Kharitonov
AU  - E. A. Golenkov
AU  - G. V. Tarasov
AU  - D. V. Leontyev
TI  - A method of sample models of program construction in terms of Petri nets
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2015
SP  - 563
EP  - 577
VL  - 22
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2015_22_4_a8/
LA  - en
ID  - MAIS_2015_22_4_a8
ER  - 
%0 Journal Article
%A D. I. Kharitonov
%A E. A. Golenkov
%A G. V. Tarasov
%A D. V. Leontyev
%T A method of sample models of program construction in terms of Petri nets
%J Modelirovanie i analiz informacionnyh sistem
%D 2015
%P 563-577
%V 22
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2015_22_4_a8/
%G en
%F MAIS_2015_22_4_a8
D. I. Kharitonov; E. A. Golenkov; G. V. Tarasov; D. V. Leontyev. A method of sample models of program construction in terms of Petri nets. Modelirovanie i analiz informacionnyh sistem, Tome 22 (2015) no. 4, pp. 563-577. http://geodesic.mathdoc.fr/item/MAIS_2015_22_4_a8/