Geodesic
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 6, pp. 21-33.

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

A technique of the computing grid verification using invariants of infinite Petri nets was presented. Models of square grid structures in the form of parametric Petri nets for such edge conditions as connection of edges and truncated devices were constructed. Infinite systems of linear algebraic equations were composed on parametric Petri nets for calculating p-invariants; their parametric solutions were obtained. P-invariant Petri nets are structuraly conservative and bounded that together with liveness are the properties of ideal systems. Liveness investigation based on siphons and traps can be implemented by using p-invariants of modified nets.
Keywords: computing grid, infinite Petri net, boundedness, safeness, liveness.
Mots-clés : invariant 
@article{MAIS_2012_19_6_a1,
     author = {D. A. Zaitsev},
     title = {Verification of {Computing} {Grids} with {Special} {Edge} {Conditions} by {Infinite} {Petri} {Nets}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {21--33},
     publisher = {mathdoc},
     volume = {19},
     number = {6},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a1/}
}
TY  - JOUR
AU  - D. A. Zaitsev
TI  - Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2012
SP  - 21
EP  - 33
VL  - 19
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a1/
LA  - ru
ID  - MAIS_2012_19_6_a1
ER  - 
%0 Journal Article
%A D. A. Zaitsev
%T Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
%J Modelirovanie i analiz informacionnyh sistem
%D 2012
%P 21-33
%V 19
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a1/
%G ru
%F MAIS_2012_19_6_a1
D. A. Zaitsev. Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets. Modelirovanie i analiz informacionnyh sistem, Tome 19 (2012) no. 6, pp. 21-33. http://geodesic.mathdoc.fr/item/MAIS_2012_19_6_a1/

[1] N. P. Preve (ed.), Grid Computing: Towards a Global Interconnected Infrastructure, Springer, 2011, 312 pp. | Zbl

[2] T. Murata, “Petri Nets: Properties, Analysis and Applications”, Proc. of the IEEE, 77:4 (1989), 541–580

[3] M. Silva, J. M. Colom, “On the Computation of Structural Synchronic Invariants in P/T Nets”, LNCS, 340, Springer, 1988, 387–417 | MR

[4] S. M. Achasova, O. L. Bandman, Korrektnost parallelnykh vychislitelnykh protsessov, Nauka, M., 1990, 253 pp. | MR | Zbl

[5] G. Berthelot, R. Terrat, “Petri Nets Theory for the Correctness of Protocols”, IEEE Trans. on Communications, 30:12 (1982), 2497–2505 | MR

[6] M. Diaz, “Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Model”, Computer Networks, 1982, no. 6, 419–441 | Zbl

[7] Z. W. Li, M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems, Springer, 2010, 234 pp.

[8] D. A. Zaitsev, I. D. Zaitsev, “Verification of Ethernet protocols via parametric composition of Petri net”, INCOM'2006: 12th IFAC/IFIP/IFORS/IEEE/IMS Symposium Information Control Problems in Manufacturing (May 17–19, 2006, Saint-Etienne, France), 261–267

[9] T. R. Shmeleva, “Verifikatsiya protokolov kommutiruemoi Ethernet beskonechnymi setyami Petri”, Trudy DUIKT, Osoblivii vipusk, Kiïv, 2007, 96–102

[10] T. R. Shmeleva, D. A. Zaitsev, I. D. Zaitsev, “Analysis of Square Communication Grids via Infinite Petri Nets”, Zbirnik Naukovikh prats ONAZ im. O. S. Popova, 2009, no. 1, 27–35

[11] D. A. Zaitsev, T. R. Shmeleva, “Verifikatsiya kommunikatsionnykh struktur giperkuba parametricheskimi setyami Petri”, Kibernetika i sistemnyi analiz, 2010, no. 1, 119–128 | Zbl

[12] T. R. Shmeleva, “Proving Consistency of Petri Net Grid Models”, Book of Abstracts of the International Scientific Conference on Computer Algebra and Information Technology (August 20–26, 2012, Odessa, Ukraine), 2012, 83–86

[13] D. A. Zaitsev, Zh. V. Li, D. O. Litvin, I. F. Khou, “Obchislennya sifoniv sitei Petri cherez kompozitsiyu klaniv”, Naukovii visnik Mizhnarodnogo gumanitarnogo universitetu: seriya ITtaUP, 2012, no. 4, 32–44

[14] B. Berthomieu, O.-P. Ribet, F. Vernadat, “The tool TINA — construction of abstract state space for Petri nets and Time Petri nets”, International Journal of Production Research, 42:14 (2004), 2741–2756 http://www.laas.fr/tina | Zbl