Geodesic
Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 4, pp. 128-143

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

The article describes a method of finding business process invariants basing on a given model in eEPC notation. The method uses an original translation process to build a Petri net corresponding to the source eEPC model, to find its invariants and to translate them back into the eEPC notation. An optimized method of finding Petri net invariants is also offered, based on estimating possible values for separate vector elements (and a group of elements) and combining these values with each other to receive a Petri net invariant. The resulting business process invariants may be used to create integration testing scenarios for an implemented automation system.
Mots-clés : invariant
Keywords: Petri net, optimization, integration tesing. 
M. G. Dorrer; V. V. Kurokhtin. Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios. Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 4, pp. 128-143. http://geodesic.mathdoc.fr/item/MAIS_2012_19_4_a10/
@article{MAIS_2012_19_4_a10,
     author = {M. G. Dorrer and V. V. Kurokhtin},
     title = {Optimization of {Calculating} {Invariants} in {Petri} {Nets} to {Support} the {Creation} of {Integration} {Testing} {Scenarios}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {128--143},
     year = {2012},
     volume = {19},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_4_a10/}
}
TY  - JOUR
AU  - M. G. Dorrer
AU  - V. V. Kurokhtin
TI  - Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2012
SP  - 128
EP  - 143
VL  - 19
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/MAIS_2012_19_4_a10/
LA  - ru
ID  - MAIS_2012_19_4_a10
ER  - 
%0 Journal Article
%A M. G. Dorrer
%A V. V. Kurokhtin
%T Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 128-143
%V 19
%N 4
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_4_a10/
%G ru
%F MAIS_2012_19_4_a10

[1] Jensen Kurt, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, v. 2, Analysis Methods, Springer, Berlin–Heidelberg–New York, 1997

[2] G. A. Dorrer, Modelirovanie vychislitelnykh sistem, Uchebnoe posobie dlya studentov napravlenii 552800 i 654600, SibGTU, Krasnoyarsk, 2003, 188 pp.

[3] M. G. Dorrer, “Algoritm preobrazovaniya modelei bizness-protsessov v odnotsvetnye seti Petri”, Modelirovanie i analiz informatsionnykh sistem, 17:2 (2010), 5–16 | MR

[4] V. E. Kotov, Seti Petri, Nauka, M., 1984 | MR

[5] A.-V. Sheer, Biznes-protsessy. Osnovnye ponyatiya. Teoriya. Metody, Vest-MetaTekhnologiya, M., 1999, 182 pp.