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

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

Show other versions (1)

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

Full description

Bibliographic Details
Main Author: D. A. Zaitsev
Format: Article
Language:English
Published: Yaroslavl State University 2015-03-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
computing grid
infinite petri net
invariant
boundedness
safeness
liveness
Online Access:https://www.mais-journal.ru/jour/article/view/136
id doaj-14474ae0077a428db990818e55d8ca6c
record_format Article
spelling doaj-14474ae0077a428db990818e55d8ca6c2021-07-29T08:15:20ZengYaroslavl State UniversityModelirovanie i Analiz Informacionnyh Sistem1818-10152313-54172015-03-01196213310.18255/1818-1015-2012-6-21-33130Verification of Computing Grids with Special Edge Conditions by Infinite Petri NetsD. A. Zaitsev0Международный гуманитарный университет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.https://www.mais-journal.ru/jour/article/view/136computing gridinfinite petri netinvariantboundednesssafenessliveness
collection DOAJ
language English
format Article
sources DOAJ
author D. A. Zaitsev
spellingShingle D. A. Zaitsev
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
Modelirovanie i Analiz Informacionnyh Sistem
computing grid
infinite petri net
invariant
boundedness
safeness
liveness
author_facet D. A. Zaitsev
author_sort D. A. Zaitsev
title Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
title_short Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
title_full Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
title_fullStr Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
title_full_unstemmed Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
title_sort verification of computing grids with special edge conditions by infinite petri nets
publisher Yaroslavl State University
series Modelirovanie i Analiz Informacionnyh Sistem
issn 1818-1015
2313-5417
publishDate 2015-03-01
description 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.
topic computing grid
infinite petri net
invariant
boundedness
safeness
liveness
url https://www.mais-journal.ru/jour/article/view/136
work_keys_str_mv AT dazaitsev verificationofcomputinggridswithspecialedgeconditionsbyinfinitepetrinets
_version_ 1721256431031681024

Similar Items