Titre | A strategy for Estimation in Timed Petri nets |
Type de publication | Communication |
Type | Communication avec actes dans un congrès |
Année | 2017 |
Langue | Anglais |
Date du colloque | 5-7/04/2017 |
Titre du colloque | CoDIT'17 |
Titre des actes ou de la revue | 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT) |
Pagination | 489-494 |
Auteur | Declerck, Philippe , Chouchane, Amira, Bonhomme, Patrice |
Pays | Espagne |
Editeur | IEEE |
Ville | Barcelona |
ISBN | 978-1-5090-6465-6 |
Résumé en anglais | The aim of the paper is the estimation of sequences in Timed Petri nets. We propose a general strategy composed of two phases: The first phase considers the logical aspect only and suggests candidate count vectors where the second one checks the existence of a relevant time sequence for a Timed Petri net and generate a subspace of time sequences for a given candidate vector. |
URL de la notice | http://okina.univ-angers.fr/publications/ua15755 |
DOI | 10.1109/CoDIT.2017.8102640 |
Lien vers le document en ligne |