Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

A strategy for Estimation in Timed Petri nets

Abstract : 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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02525478
Contributeur : Okina Université d'Angers <>
Soumis le : mardi 31 mars 2020 - 01:49:34
Dernière modification le : mercredi 23 septembre 2020 - 16:54:01

Identifiants

Citation

Philippe Declerck, Amira Chouchane, Patrice Bonhomme. A strategy for Estimation in Timed Petri nets. CoDIT'17 - 4th edition in the series of the International Conference on Control, Decision and Information Technologies, Apr 2017, Barcelona, Spain. pp.489-494, ⟨10.1109/CoDIT.2017.8102640⟩. ⟨hal-02525478⟩

Partager

Métriques

Consultations de la notice

34