|
Titre :
|
Réseaux de Petri et systèmes parallèles
|
|
Auteurs :
|
Guy Vidal-Naquet, Auteur ;
Annie Choquet-Geniet, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Armand Colin, 1992
|
|
Collection :
|
2AI
|
|
ISBN/ISSN/EAN :
|
978-2-200-21197-4
|
|
Format :
|
120 p. / 21 x 14 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
005.1
|
|
Mots-clés:
|
;
vol de nuit
;
graphes, théorie des
|
|
Résumé :
|
Comment garantir qu'un programme assure de manière correcte l'ensemble des fonctionnalités pour lesquelles il a été construit? Les réseaux de Petri constituent l'un des outils mathématiques de spécification et de description des systèmes fonctionnant en parallèle avec des contraintes de synchronisation.
|
