Zobrazeno 1 - 10
of 117
pro vyhledávání: '"infinite Petri nets"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
ZAITSEV, DMITRY A.1
Publikováno v:
Journal of Cellular Automata. 2018, Vol. 13 Issue 1/2, p121-144. 24p.
Publikováno v:
Applied Sciences, Vol 11, Iss 24, p 11870 (2021)
Correctness of networking protocols represents the principal requirement of cybersecurity. Correctness of protocols is established via the procedures of their verification. A classical communication system includes a pair of interacting systems. Rece
Externí odkaz:
https://doaj.org/article/c8edf3a7f9b9406ab957ddfde3c5ba81
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE/CAA Journal of Automatica Sinica, 6(3):8707130, 733-742. Institute of Electrical and Electronics Engineers
A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to allow a finite specification of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68bf3ac3b746bdbd31dbd0bd4506c812
https://doi.org/10.1109/JAS.2019.1911486
https://doi.org/10.1109/JAS.2019.1911486
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
D. A. Zaitsev
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 21-33 (2015)
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 con
Externí odkaz:
https://doaj.org/article/14474ae0077a428db990818e55d8ca6c
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
D. A. Zaitsev
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 21-33 (2012)
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 con
Externí odkaz:
https://doaj.org/article/63980afc3f834811b9c30e6c04ca16f3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.