Verification of computing grids with special edge conditions by infinite Petri nets

Συγγραφείς: Dmitry A. Zaitsev

Πηγή: Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 21-33 (2012)
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 21-33 (2015)

Θεματικοί όροι: инвариант, infinite petri net, safeness, живость, Information technology, 02 engineering and technology, boundedness, T58.5-58.64, 16. Peace & justice, бесконечная сеть Петри, computing grid, liveness, ограниченность, invariant, консервативность, 0202 electrical engineering, electronic engineering, information engineering, вычислительная решетка

Σύνδεσμος πρόσβασης: https://www.mais-journal.ru/jour/article/download/136/134
https://doaj.org/article/63980afc3f834811b9c30e6c04ca16f3
https://doaj.org/article/14474ae0077a428db990818e55d8ca6c
https://mais-journal.ru/jour/article/view/136
https://mais-journal.ru/jour/article/download/136/134
https://dblp.uni-trier.de/db/journals/accs/accs47.html#Zaitsev13
https://www.mais-journal.ru/jour/article/viewFile/136/134
https://link.springer.com/content/pdf/10.3103%2FS0146411613070262.pdf
https://link.springer.com/article/10.3103/S0146411613070262

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

Συγγραφείς: D. A. Zaitsev

Πηγή: Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 21-33 (2012)

Θεματικοί όροι: вычислительная решетка, бесконечная сеть Петри, инвариант, ограниченность, консервативность, живость, Information technology, T58.5-58.64

Περιγραφή αρχείου: electronic resource

Relation: http://mais-journal.ru/jour/article/view/136; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Σύνδεσμος πρόσβασης: https://doaj.org/article/63980afc3f834811b9c30e6c04ca16f3