Open AccessVerification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
Author(s) -
D.A. Zaitsev
Publication year - 2015
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2012-6-21-33
Subject(s) - liveness , petri net , stochastic petri net , process architecture , bounded function , parametric statistics , invariant (physics) , computer science , grid , square tiling , connection (principal bundle) , algebraic number , net (polyhedron) , mathematics , theoretical computer science , discrete mathematics , algorithm , geometry , mathematical analysis , statistics , mathematical physics
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.