Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états - Archive ouverte HAL
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

Loriane Leclercq
  • Fonction : Auteur
  • PersonId : 1354007
NANTES UNIVERSITÉ - École Centrale de Nantes
Didier Lime
NANTES UNIVERSITÉ - École Centrale de Nantes
Roux Olivier H.
NANTES UNIVERSITÉ - École Centrale de Nantes

Résumé

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

Domaines

Physique [physics]
Fichier principal
Vignette du fichier
main.pdf (407.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

CCSD Sciencesconf.org  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04465232

Soumis le : lundi 19 février 2024-11:23:43

Dernière modification le : jeudi 7 novembre 2024-03:22:48

Archivage à long terme le : mardi 21 mai 2024-08:53:24

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-NANTES UNAM ANR NANTES-UNIVERSITE MSR2023
123 Consultations
28 Téléchargements

Partager

More