Vérification et mise en oeuvre des réseaux de Petri
Michel DIAZ
Disponibilité:
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.
Éditeur:
Lavoisier-Hermès
Lavoisier-Hermès
Protection:
ACS4
ACS4
Année de parution:
2021
2021
ISBN-13:
9782746241756
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...
Aperçu du livre