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

Description

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.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00010598
2. http://tel.archives-ouvertes.fr/docs/00/05/11/84/PDF/tel-00010598.pdf

Tags

[INFO:INFO_OH] Computer Science/Other

Système asynchrone

place implicite

Petri

parallélisme

calcul

conception

système parallèle

interprétation

CA-système

IA-système

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00010598
Date	25 June 1979
Creators	Sifakis, Joseph
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis