Verification of computing grids with special edge conditions by infinite Petri nets
Dmitry A. Zaitsev · Automatic Control and Computer Sciences · 2013
A technique of the computing grids 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 structurally conservative and bounded that together with liveness are the properties of ideal systems. Liveness investigation based on siphons and traps can be implemented using p-invariants of modified nets.