 |
|
|
|
| Detailed view | PhD thesis |
|
|
| Institut National Polytechnique de Grenoble - INPG Université Joseph-Fourier - Grenoble I (25/06/1979), Louis Bolliet (Dir.) |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique |
|
|
| Joseph Sifakis1 |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
| 1: | IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble |
|
|
|
|
|
|
|
| Système asynchrone – place implicite – Petri – parallélisme – calcul – conception – système parallèle – interprétation – CA-système – IA-système |
| The control of asynchronous systems: concepts, properties, static analysis |
| . |
| Asynchronous System |
| tel-00010598, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00010598 | |
| oai:tel.archives-ouvertes.fr:tel-00010598 | |
| From: Thèses Imag | |
| Submitted on: Thursday, 13 October 2005 09:56:10 | |
| Updated on: Thursday, 26 June 2008 09:08:43 | |
