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

Name: Réseaux de Petri et systèmes parallèles
Brand: Recyclivre
Author: Guy Vidal-Naquet
ISBN: 9782200211974

Guy Vidal-Naquet

01/01/1992
Armand Colin

NC (0 avis)

Couverture de Réseaux de Petri et systèmes parallèles par Guy Vidal-Naquet

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.