A strategy for Estimation in Timed Petri nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

A strategy for Estimation in Timed Petri nets

(1) , (1) , (2)


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.
Fichier non déposé

Dates et versions

hal-02525478 , version 1 (31-03-2020)



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⟩
15 Consultations
0 Téléchargements



Gmail Facebook Twitter LinkedIn More