Optimal reachability in cost time Petri nets

Boucheneb, Hanifa; Lime, Didier; Parquier, Baptiste; Roux, Olivier H.; Seidner, Charlotte; Boucheneb, Hanifa; Lime, Didier; Parquier, Baptiste; Roux, Olivier H.; Seidner, Charlotte

Optimal reachability in cost time Petri nets

Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner

Communication écrite (2017)

Accéder à ce document

Lien externe

Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel

Voir chez l'éditeur officiel

Département:

Département de génie informatique et génie logiciel

ISBN:

9783319657646

Adresse URL de PolyPublie:

https://publications.polymtl.ca/38610/

Nom de la conférence:

15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017)

Lieu de la conférence:

Berlin, Germany

Date(s) de la conférence:

2017-09-05 - 2017-09-07

Maison d'édition:

Springer

DOI:

10.1007/978-3-319-65765-3_4

URL officielle:

https://doi.org/10.1007/978-3-319-65765-3_4

OAI:

oai:publications.polymtl.ca:38610

ORCID

Date du dépôt:

18 avr. 2023 15:04

Dernière modification:

14 oct. 2026 13:30

Citer en APA 7:

Boucheneb, H., Lime, D., Parquier, B., Roux, O. H., & Seidner, C. (septembre 2017). Optimal reachability in cost time Petri nets [Communication écrite]. 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017), Berlin, Germany. https://doi.org/10.1007/978-3-319-65765-3_4

Statistiques

Dimensions

Actions réservées au personnel

Afficher document