Réseaux de Petri P-temporels: Modélisation et validation d'exigences temporelles

S Collart-Dutilleul - 2008 - theses.hal.science
Le corps de ce travail concerne la modélisation des systèmes à événements discrets. Il s'
intéresse par ailleurs en quasi exclusivité à la gestion des contraintes de temps de séjour …

Apports et intégration de la robustesse pour la supervision de systèmes manufacturiers

N Jerbi - 2006 - theses.hal.science
Le travail proposé dans cette thèse s' intéresse aux ateliers manufacturiers à contraintes de
temps de séjour. Nous supposons dans l'étude que les ressources ont déjà été affectées et …

Contribution à l'analyse de performances des Systèmes à Evénements Discrets non linéaires dans l'algèbre (min,+)

A Benfekir - 2013 - theses.hal.science
Cette thèse s' inscrit dans le cadre de la théorie des systèmes linéaires dans les dioïdes.
Cette théorie concerne la sous-classe des systèmes à événements discrets modélisables …

Analysis of non-linear discrete event dynamic systems in (min,+) algebra

S Hamaci, JL Boimond - International Journal of Industrial …, 2011 - inderscienceonline.com
Under the name discrete event dynamic systems are grouped some systems whose
dynamic behaviour cannot be described by differential equations. This class of systems …