La gestion des ressources vue avec la logique linéaire

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 L’implication -> Selon l’arrivage 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 l’eau à volonté ce qui s’écrit: eau! ! Permet d’avoir une resource un nombre illimité de fois.

5 F1,F2 permettent à P1 de manger: F2,F3 permettent à P2 de manger:
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 d’avoir d’un côté P1 et de l’autre P3.
Selon les règles d’introduction 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.