Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Quarto esercizio [7 punti] contex Adapter::write(f : file, s : String) pre: s.size() + self.n_out < 80 post: out = s post: n_out = 0 Quinto esercizio [7 punti] Serbatoio
B startB A startA
Lavorati
Possono essere inserite altre due piazze busyA e busyB e due transizioni f inishA e f inishB che tengano conto del tempo di lavorazione delle macchine. In questo caso le piazze A e B che fanno da semaforo sono connesse da un usso che proviene da f inishB e f inishA e le piazze busyA e busyB sono poste tra startA , startB e f inishA e f inishB . Entrambe le transizioni f inishA e f inishB hanno un usso duscita verso Serbatoio