Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285351079> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4285351079 abstract "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. Recent developments of computing and communication grids for radio broadcasting, cellular networks, communication subsystems of supercomputers, specialized grids for numerical methods, and networks on chips require verification of protocols for any number of devices. For analysis of computing and communication grid structures, a new class of infinite Petri nets has been introduced and studied for more than 10 years. Infinite Petri nets were applied also for simulating cellular automata. Rectangular, triangular, and hexagonal grids on plane, hyper cube and hyper torus in multidimensional space have been considered. Composing and solving in parametric form infinite Diophantine systems of linear equations allowed us to prove the protocol properties for any grid size and any number of dimensions. In the present paper, infinite Petri nets are divided into two following kinds: a single infinite construct and an infinite set of constructs of specified size (and number of dimensions). Finally the paper discusses possible future work directions." @default.
- W4285351079 created "2022-07-14" @default.
- W4285351079 creator A5033228887 @default.
- W4285351079 creator A5047592742 @default.
- W4285351079 creator A5053265608 @default.
- W4285351079 date "2021-10-05" @default.
- W4285351079 modified "2023-09-27" @default.
- W4285351079 title "Two Kinds of Infinite Petri Nets for Modeling Computing and Communication Systems" @default.
- W4285351079 doi "https://doi.org/10.1109/picst54195.2021.9772127" @default.
- W4285351079 hasPublicationYear "2021" @default.
- W4285351079 type Work @default.
- W4285351079 citedByCount "0" @default.
- W4285351079 crossrefType "proceedings-article" @default.
- W4285351079 hasAuthorship W4285351079A5033228887 @default.
- W4285351079 hasAuthorship W4285351079A5047592742 @default.
- W4285351079 hasAuthorship W4285351079A5053265608 @default.
- W4285351079 hasConcept C11413529 @default.
- W4285351079 hasConcept C114614502 @default.
- W4285351079 hasConcept C120314980 @default.
- W4285351079 hasConcept C12269588 @default.
- W4285351079 hasConcept C136155141 @default.
- W4285351079 hasConcept C184720557 @default.
- W4285351079 hasConcept C187691185 @default.
- W4285351079 hasConcept C197551870 @default.
- W4285351079 hasConcept C2524010 @default.
- W4285351079 hasConcept C31258907 @default.
- W4285351079 hasConcept C33923547 @default.
- W4285351079 hasConcept C38677869 @default.
- W4285351079 hasConcept C41008148 @default.
- W4285351079 hasConcept C55439883 @default.
- W4285351079 hasConcept C80444323 @default.
- W4285351079 hasConceptScore W4285351079C11413529 @default.
- W4285351079 hasConceptScore W4285351079C114614502 @default.
- W4285351079 hasConceptScore W4285351079C120314980 @default.
- W4285351079 hasConceptScore W4285351079C12269588 @default.
- W4285351079 hasConceptScore W4285351079C136155141 @default.
- W4285351079 hasConceptScore W4285351079C184720557 @default.
- W4285351079 hasConceptScore W4285351079C187691185 @default.
- W4285351079 hasConceptScore W4285351079C197551870 @default.
- W4285351079 hasConceptScore W4285351079C2524010 @default.
- W4285351079 hasConceptScore W4285351079C31258907 @default.
- W4285351079 hasConceptScore W4285351079C33923547 @default.
- W4285351079 hasConceptScore W4285351079C38677869 @default.
- W4285351079 hasConceptScore W4285351079C41008148 @default.
- W4285351079 hasConceptScore W4285351079C55439883 @default.
- W4285351079 hasConceptScore W4285351079C80444323 @default.
- W4285351079 hasLocation W42853510791 @default.
- W4285351079 hasOpenAccess W4285351079 @default.
- W4285351079 hasPrimaryLocation W42853510791 @default.
- W4285351079 hasRelatedWork W1500907979 @default.
- W4285351079 hasRelatedWork W1828104674 @default.
- W4285351079 hasRelatedWork W1900256929 @default.
- W4285351079 hasRelatedWork W2024711394 @default.
- W4285351079 hasRelatedWork W2034033284 @default.
- W4285351079 hasRelatedWork W2106472357 @default.
- W4285351079 hasRelatedWork W2296663577 @default.
- W4285351079 hasRelatedWork W2348897357 @default.
- W4285351079 hasRelatedWork W2358326850 @default.
- W4285351079 hasRelatedWork W2358960329 @default.
- W4285351079 isParatext "false" @default.
- W4285351079 isRetracted "false" @default.
- W4285351079 workType "article" @default.