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.
Document type :
Theses
Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1979. French


https://tel.archives-ouvertes.fr/tel-00010598
Contributor : Thèses Imag <>
Submitted on : Thursday, October 13, 2005 - 9:56:10 AM
Last modification on : Thursday, June 26, 2008 - 9:08:43 AM

Identifiers

  • HAL Id : tel-00010598, version 1

Collections

UGA

Citation

Joseph Sifakis. Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique. Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1979. French. <tel-00010598>

Export

Share

Metrics

Consultation de
la notice

221

Téléchargement du document

41