A-Processus déterministes : Les Réseaux de Petri - Site ...

... Spécialité SAR. NI405 - Modélisation des systèmes répartis ... Problème : modéliser un système producteur/consommateur asynchrone avec tampon .... Modèle RdP du producteur / consommateur ..... Exercice 2 : les philosophes. ? Soit une ...


Un extrait du document