Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Thèse Année : 1979

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

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.

Domaines

Modélisation et simulation Autre [cs.OH]
Fichier principal
Vignette du fichier
tel-00010598.pdf (7.49 Mo) Télécharger le fichier

Thèses Imag  : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-00010598

Soumis le : jeudi 13 octobre 2005-09:56:10

Dernière modification le : jeudi 4 avril 2024-21:12:55

Archivage à long terme le : vendredi 2 avril 2010-22:53:01

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : tel-00010598 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS TDS-MACS
558 Consultations
137 Téléchargements

Partager

Gmail Facebook X LinkedIn More