Attack Synchronizing Sequences for Output Synchronized Petri Nets with Multiple Deadlocks - Laboratoire d'Informatique en Calcul Intensif et Image pour la Simulation Accéder directement au contenu
Poster De Conférence Année : 2023

Attack Synchronizing Sequences for Output Synchronized Petri Nets with Multiple Deadlocks

Séquences de synchronisation d'attaque pour les réseaux de Petri synchronisés avec sorties à blocages

Domaines

Automatique
Fichier principal
Vignette du fichier
Poster_MSR_2023-3.pdf (1.49 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Rabah Ammour  : Connectez-vous pour contacter le contributeur

https://amu.hal.science/hal-04527970

Soumis le : dimanche 31 mars 2024-15:49:35

Dernière modification le : jeudi 4 avril 2024-03:28:41

Télécharger pour visualiser

Dates et versions

hal-04527970 , version 1 (31-03-2024)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

  • HAL Id : hal-04527970 , version 1

Citer

Khalid Hamada, Rabah Ammour, Leonardo Brenner, Isabel Demongodin. Attack Synchronizing Sequences for Output Synchronized Petri Nets with Multiple Deadlocks. 14ème colloque sur la Modélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France. ⟨hal-04527970⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU URCA LIS-LAB LICIIS INCIAM
2 Consultations
2 Téléchargements

Partager

Gmail Facebook X LinkedIn More