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.