Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états - Archive ouverte HAL Accéder directement au contenu
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⟩
7 Consultations
4 Téléchargements

Partager

Gmail Facebook X LinkedIn More