 |
|
Theses
Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique
Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique
Résumé : Hypothèse de travail. Les systemes de transitions. Contrôleurs à commandes gardées. Les reseaux de Petri en tant que contrôleurs. Analyse des propriétés logiques des reseaux de Petri. La notion de place implicite : deux applications. Analyse des proprietes dynamiques : les reseaux de petri temporisés.
keyword :
Asynchronous System
https://tel.archives-ouvertes.fr/tel-00010598
Contributor : Thèses Imag <>
Submitted on : Thursday, October 13, 2005 - 9:56:10 AM
Last modification on : Friday, November 6, 2020 - 4:07:52 AM
Long-term archiving on: : Friday, April 2, 2010 - 10:53:01 PM
Contributor : Thèses Imag <>
Submitted on : Thursday, October 13, 2005 - 9:56:10 AM
Last modification on : Friday, November 6, 2020 - 4:07:52 AM
Long-term archiving on: : Friday, April 2, 2010 - 10:53:01 PM