La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

La gestion des ressources vue avec la logique linéaire.

Présentations similaires


Présentation au sujet: "La gestion des ressources vue avec la logique linéaire."— Transcription de la présentation:

1 La gestion des ressources vue avec la logique linéaire

2 Les connecteurs Exemple du menu de Lafont –Hors dœuvre:selon arrivage – jambon melon –Jambonet fichi –Plat de résistance: au choix –Spaghetti –Gnocchis –Boisson –Eau de Trevere à volonté

3 Limplication -> Selon larrivage nous aurons: jambon melon ou Jambonné fichi. Approvisionnement en melon -> jambon melon Melon Melon->jambon melon (i) jambon melon

4 Mais bien sûr ! Dans cet exemple nous avons leau à volonté ce qui sécrit: eau! ! Permet davoir une resource un nombre illimité de fois.

5 Les philosophes Soit P1 P2 P3 et P4 nos 4 philosophes et F1,F2,F3,F4 les 4 fourchettes. Nous avons au départ les 4 fourchettes seulement. F1,F2 permettent à P1 de manger: F2,F3 permettent à P2 de manger:

6 F1,F2,F3,F4 nous permettent davoir dun côté P1 et de lautre P3. Selon les règles dintroduction du tensoriel, nous obtenons : On peut donc avoir P1 et P3 qui peuvent manger en même temps. Il en ira de même pour P2 et P4

7 Insérons maintenant le parallèle &.. Donc P1 peut être lancer en même temps que P3 de même pour le couple P2 et P4 mais (P1 P3) et (P2 P4) ne peuvent en aucun cas être lancé en même temps.


Télécharger ppt "La gestion des ressources vue avec la logique linéaire."

Présentations similaires


Annonces Google