TECHNIQUE ET SCIENCE INFORMATIQUES RSTI VOL.28 NO.9-2009 : RÉSEAUX DE PETRI ET ALGORITHMES
Au sommaire: Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle; Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents; Optimisation de la construction d'une approximation de l'espace d'état des systèmes préemptifs; Group-nets et réseaux lexicographiques.
Description
Au sommaire: Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle; Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents; Optimisation de la construction d'une approximation de l'espace d'état des systèmes préemptifs; Group-nets et réseaux lexicographiques. Expressivité et décidabilité.
Renseignements sur l'ouvrage
Ouvrages similaires
-
CHOISIR L'AGILITE: DU DEVELOPPEMENT LOGICIEL A LA GOUVERNANCEDu développement logiciel à la gouvernance -
DIRIGER ET ENCADRER AUTREMENT: THEORISER PROPRES STRATEGIESThéoriser ses propres stratégies alternatives -
INGÉNIERIE DES EXIGENCESMéthodes et bonnes pratiques pour construire et maintenir un référentiel -
LES RÉFÉRENTIELS DU SYSTÈME D'INFORMATIONDonnées de référence et architecture d'entreprise -
RISQUES PSYCHOSOCIAUX EN ENTREPRISELes solutions psychologiques et juridiques -
RÉSEAUX, LIBERTÉS ET CONTRÔLE: GÉNÉALOGIE POLITIQUE D'INTERNETUne généalogie politique d'internet -
PRÉVENIR LES CRISESCes cassandres qu'il faut savoir écouter -
LES PROFESSIONS INTERMEDIAIRES: DES METIERS INTERFACE AU COEUR ENDes métiers d'interface au cur de l'entreprise -
PLAN DE CONTINUITÉ D'ACTIVITÉ ET SYSTÈME D'INFORMATIONVers l'entreprise résiliente -
BOOSTER L'INTELLIGENCE COLLECTIVELa stratégie agile de transformation durable des organisations -
SMART HOME: HABITAT CONNECTE, INSTALLATIONS DOMOTIQUES ET MULTIMEHabitat connecté, installations domotiques et multimédia
