Modélisation et analyse temporelle par réseaux de Petri et logique linéaire
L'objectif de cette thèse est de contribuer à l'élaboration de méthodes d'aide à la conception de systèmes coopératifs en prenant en compte les contraintes temporelles de manière quantitative. L'approche développée est fondée sur les réseaux de Petri, la logique linéaire et les g...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
INSA de Toulouse
2003
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00134974 http://tel.archives-ouvertes.fr/docs/00/13/49/74/PDF/these_riviere_vf.pdf |