Skip to Main content Skip to Navigation
Theses

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.
Complete list of metadatas

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

Identifiers

  • HAL Id : tel-00010598, version 1

Collections

Citation

Joseph Sifakis. Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1979. Français. ⟨tel-00010598⟩

Share

Metrics

Record views

829

Files downloads

227