Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Modeling of Safe Time Petri Nets by Interval Weighted Automata

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03202127
Contributeur : Sébastien Lahaye Connectez-vous pour contacter le contributeur
Soumis le : lundi 19 avril 2021 - 15:31:09
Dernière modification le : vendredi 19 novembre 2021 - 14:46:13

Identifiants

  • HAL Id : hal-03202127, version 1

Collections

Citation

Jan Komenda, Aiwen Lai, Sébastien Lahaye, Jean-Louis Boimond. Modeling of Safe Time Petri Nets by Interval Weighted Automata. 15th IFAC Workshop on Discrete Event Systems, Nov 2020, Rio de Janeiro, Brazil. ⟨hal-03202127⟩

Partager

Métriques

Consultations de la notice

19