• TD1 :  Modélisation applis réparties (Réseaux de Petri)
  

• Cahier d'exos 1 Modélisation avec les RdP
• Etude de cas Système de production 
  
• supplémentaires Cahier2, Cahier3,  . . .
• TD1 : Expérimentation avec ROMEO ou PIPE
  
  • romeo : (lancer dans un terminal)
    
  • pipe :  /usr/lib/jvm/java-8-openjdk-amd64/bin/java -jar /opt/app/PIPE.jar

• Outils de modéiisation RdP :

  PIPE
  Romeo  (Outil Nantais)
  Outil en ligne APO

• TD2 : Programmation applis réparties (Première partie)
  

• Rudiments environnement go
• Intro à la programmation concurrente
  Expériences: proc concurr 1, 2, 3  (ci-dessous)
  
• Expériences à faire en GO
  
• proc concurr 1
• proc concurr 2
• proc concurr 3
• shared var 1
• shared var 2
• shared var 3
• shared channel 1
• channels
• Intro. Programmation avec les sockets

Ressources et exemples Programmation en GO

• programming in go 
• go by example
• ...

• TD2 : Prog. applications réparties en GO (Deuxième partie)
  

• TD Programmation avec les Sockets, go
  
• Exemple serveur perroquet
• Readme
• Programmation d'une application "ftp"  
  
• Etude de cas complète RdP + Prog Socket : système de production (Des pièces W1,W2,W3 aux produits U1, U2, avec diverses machines). Faire de façon incrémentale, des versions successives
  
  
• Etude de cas complète RdP+Prog Socket (avec le contrôle de la zone industrielle, plusieurs secteurs distants+préleveurs/controleurs/gestOrdre)
• autres

• Algorithme d'exclusion mutuelle (L. Lamport) + programmation en GO
  
• Algorithme de consensus - généraux Bysantins + programmation en GO
  

• TD3 : Remote Method Invocation
  
•  Java RMI
    --  Readme-pourMiseEnOeuvre
• Etude de cas RMI (Clients/serveur - recup de résultat, scores, etc auprès d'un serveur)

• Livre de W. Reisig [UnderstandingPNets]

• Prog Sockets : Exemple en C
  
• Exemple de Serveur de N clients en Python (avec la fonction select)