// Segnature delle attivita' atomiche
// LA SPECIFICA LASCIATA PER ESERCIZIO AGLI STUDENTI
// =================================================
//
// LeggiGiocatori():(isr:Insieme<GiocatoreRosso>, isg:Insieme<GiocatoreGiallo>)
// InserisciInTorello(t:Torello, isr:Insieme<GiocatoreRosso>, isg:Insieme<GiocatoreGiallo>)
// Gioca(t:Torello)
// AttendiComandoFine()

InizioSpecificaAttivita Principale(t:Torello)
	
	Variabili processo:
		giocatoriRossi: Insieme<GiocatoreRosso>
                giocatoriGialli: Insieme<GiocatoreRosso>

	InizioProcesso
		LeggiGioccatori():(giocatoriRossi,giocatoriGialli);
		InserisciInTorello(t,giocatoriRossi,giocatoriGialli)

	    	fork {
				thread t1 : { Gioca(t); }
				thread t2 : { AttendiComando(); }   
		} join t1,t2;
  
	FineProcesso

FineSpecifica