Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets

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 equ...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor principal: D. A. Zaitsev
Format: Artigo
Idioma:Inglês
Publicat: Yaroslavl State University 2015-03-01
Col·lecció:Modelirovanie i Analiz Informacionnyh Sistem
Matèries:
computing grid
infinite petri net
invariant
boundedness
safeness
liveness
Accés en línia:https://www.mais-journal.ru/jour/article/view/136
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars