Verification of Square Lattices with Various Neighborhoods by Infinite Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Verification of Square Lattices with Various Neighborhoods by Infinite Petri Nets

18.Complex_Day_2023_T.Shmeleva.pdf (3.31 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

  • HAL Id : hal-04050155 , version 1

Citer

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⟩
39 Consultations
21 Téléchargements

Partager

Gmail Facebook X LinkedIn More