تحميل...
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...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
Yaroslavl State University
2015-03-01
|
| سلاسل: | Modelirovanie i Analiz Informacionnyh Sistem |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.mais-journal.ru/jour/article/view/136 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|