Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique - TEL - Thèses en ligne
Theses Year : 1979

The control of asynchronous systems: concepts, properties, static analysis

Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique

Abstract

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.
Fichier principal
Vignette du fichier
tel-00010598.pdf (7.49 Mo) Télécharger le fichier

Dates and versions

tel-00010598 , version 1 (13-10-2005)

Identifiers

  • HAL Id : tel-00010598 , version 1

Cite

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. ⟨NNT : ⟩. ⟨tel-00010598⟩

Collections

UGA CNRS TDS-MACS
653 View
161 Download

Share

More