Verification of Square Lattices with Various Neighborhoods by Infinite Petri Nets

Grid computing Von Neumann’s and Moore’s neighborhoods Store-and-forward and Cut-through switching Infinite Petri nets Parametric description Verification

Domains

Computer Science [cs] Mathematics [math]

18.Complex_Day_2023_T.Shmeleva.pdf (3.31 Mo)

Origin	Files produced by the author(s)

Académie Systèmes Complexes : Connect in order to contact the contributor

https://hal.science/hal-04050155

Submitted on : Wednesday, March 29, 2023-2:47:38 PM

Last modification on : Thursday, March 14, 2024-3:16:02 AM

Dates and versions

hal-04050155 , version 1 (29-03-2023)

Licence

Attribution

Identifiers

HAL Id : hal-04050155 , version 1

Cite

Tatiana Shmeleva, Dmitry A Zaitsev, Enrico Formenti. Verification of Square Lattices with Various Neighborhoods by Infinite Petri Nets. Complex Days, Académie Systèmes Complexes, Feb 2023, Nice, France. ⟨hal-04050155⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS I3S UNIV-COTEDAZUR IDEX-UNIV-COTEDAZUR COMPLEX-SYSTEMS_UNIV-COTEDAZUR ANR COMPLEX-SYSTEMS_ACADEMY EPI-REVEL

46 View

24 Download