Accueil
Tous les produits
Arts, Sciences & Société
Sciences, Techniques et Médecine
Vérification et mise en oeuvre des réseaux de Petri

Vérification et mise en oeuvre des réseaux de Petri

Name: Vérification et mise en oeuvre des réseaux de Petri
Brand: Recyclivre
Author: Michel Diaz
ISBN: 9782746204454

Michel Diaz

25/11/2002
Lavoisier-Hermès

NC (0 avis)

Couverture de Vérification et mise en oeuvre des réseaux de Petri par Michel Diaz

Résumé

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...