Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états - Modélisation des Systèmes Réactifs (MSR'23)
Communication Dans Un Congrès Année : 2023

Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états

Résumé

Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états
Fichier principal
Vignette du fichier
main.pdf (407.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04465232 , version 1 (19-02-2024)

Identifiants

  • HAL Id : hal-04465232 , version 1

Citer

Loriane Leclercq, Didier Lime, Roux Olivier H.. Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états. Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France. ⟨hal-04465232⟩
35 Consultations
21 Téléchargements

Partager

More