VERIFICATION ET MISE OEUVRE DES RESEAUX DE PETRI (COLL.IC2)
Complément de $$Les réseaux de Pétri$$, qui portait sur la modélisation des systèmes dont les comportements dépendent de valeurs temporelles, ce second ouvrage insiste sur la vérification et la mise en oeuvre des modèles fondamentaux exposés précédemment.
Description
Complément de $$Les réseaux de Pétri$$, qui portait sur la modélisation des systèmes dont les comportements dépendent de valeurs temporelles, ce second ouvrage insiste sur la vérification et la mise en oeuvre des modèles fondamentaux exposés précédemment. Il avance des solutions pour les systèmes réels dans divers domaines : télécommunications, programmation, multimédia...
Renseignements sur l'ouvrage
Ouvrages similaires
-
MATÉRIAUX ET ENVIRONNEMENTChoix éco-responsable en conception -
COGÉNÉRATION ET MICRO-COGÉNÉRATIONSolutions pour améliorer l'efficacité énergétique -
CHOISIR L'AGILITE: DU DEVELOPPEMENT LOGICIEL A LA GOUVERNANCEDu développement logiciel à la gouvernance -
PLAN DE CONTINUITÉ D'ACTIVITÉ ET SYSTÈME D'INFORMATIONVers l'entreprise résiliente -
SMART HOME: HABITAT CONNECTE, INSTALLATIONS DOMOTIQUES ET MULTIMEHabitat connecté, installations domotiques et multimédia -
LES RÉFÉRENTIELS DU SYSTÈME D'INFORMATIONDonnées de référence et architecture d'entreprise -
WIFI PROFESSIONNELLa norme 802.11, le déploiement, la sécurité -
LA COMMANDE MULTIVARIABLEApplication au pilotage d'un avion -
RÉSEAUX, LIBERTÉS ET CONTRÔLE: GÉNÉALOGIE POLITIQUE D'INTERNETUne généalogie politique d'internet
