|
Titre :
|
Vérification et mise en oeuvre des réseaux de Petri
|
|
Auteurs :
|
Michel Diaz, Metteur en scène, réalisateur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Hermès science publications, 2002
|
|
Collection :
|
Traité IC2
|
|
Sous-collection :
|
Informatique et systèmes d'information
|
|
ISBN/ISSN/EAN :
|
978-2-7462-0445-4
|
|
Format :
|
320 p. / ill. / 24 x 16 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
629.5
|
|
Mots-clés:
|
Petri, réseaux de
;
systèmes informatiques
;
modèles mathématiques
|
|
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...
|
