A strategy for Estimation in Timed Petri nets

TitreA strategy for Estimation in Timed Petri nets
Type de publicationCommunication
TypeCommunication avec actes dans un congrès
Année2017
LangueAnglais
Date du colloque5-7/04/2017
Titre du colloqueCoDIT'17
Titre des actes ou de la revue 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT)
Pagination489-494
AuteurDeclerck, Philippe , Chouchane, Amira, Bonhomme, Patrice
PaysEspagne
EditeurIEEE
VilleBarcelona
ISBN978-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 noticehttp://okina.univ-angers.fr/publications/ua15755
DOI10.1109/CoDIT.2017.8102640
Lien vers le document en ligne

http://codit2017.com/