login
english version rss feed
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: 
PDF
tel-00010598.pdf(7.2 MB)
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

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...