Réseaux de Petri P-temporels: Modélisation et validation d'exigences temporelles
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. Mes travaux de thèse ont comporté la constitution du cahier des charges en amont et les applications en aval d...
Main Author: | |
---|---|
Language: | FRE |
Published: |
Université des Sciences et Technologie de Lille - Lille I
2008
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00364666 http://tel.archives-ouvertes.fr/docs/00/36/46/66/PDF/Exigences_T2ustlm.pdf |