Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Les réseaux de Petri : un outil de modélisation : cours et exercices corrigés

Éditeur(s): Dunod
Présentation de la modélisation et de l'analyse des systèmes de contrôle dont le but est d'assurer la sûreté de fonctionnement des logiciels complexes (aéronautique, transports...). Explication du modèle des réseaux de Petri, outil graphique d'analyse qui permet de m...
29,90 €
Chargement...

Réseaux de Petri et systèmes parallèles

Éditeur(s): Armand Colin
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 ave...
23,85 €
Chargement...
1