Corsi di Laurea

[Fabrix883]

Piccolol UP

[Fabrix883]

Dai ragazzi.. aiutatemi a capire come si affronta questo tipi di prova

[tanux]

Io non mi trovo(almeno non completamente) con lo svolgimento postato (e in + non ho capito perche deve scattare due volte s2 quando invece la macchina deve andare direttamente a lavorare 2 pezzi). Posto qui la mia soluzione sperando possiate commentarla (e magari chiarire eventuali errori).

File allegato

•  supervisore-5-06-2009.jpg   297,35K   263 Download

[Fabrix883]

L'evento s2 deve scattare due volte perché esso indica l'inizio della lavorazione di un singolo pezzo, non di due pezzi insieme. Infatti quando ti trovi nello stato C1 (la macchina A ha terminato e la macchina B è ferma) e scatta s2 la macchina B andrà inevitabilmente nello stato "A1B2" proprio perché s2 ha quel significato.
Inoltre anche negli stati A3B2 ed A3B3 può scattare l'evento r1 di riparazione della macchina A, così come è stato fatto nella soluzione già postata; nella tua soluzione se l'evento r1 accade mentre ti trovi in A3B2 od A3B3, esso non avrà nessun effetto sull'automa

[tanux]

L'evento s2 deve scattare due volte perché esso indica l'inizio della lavorazione di un singolo pezzo, non di due pezzi insieme. Infatti quando ti trovi nello stato C1 (la macchina A ha terminato e la macchina B è ferma) e scatta s2 la macchina B andrà inevitabilmente nello stato "A1B2" proprio perché s2 ha quel significato.

Allora per questa nota qui, io avevo pensato (perche la traccia cosi dice) che se scatta s2 deve andare direttamente nello stato in cui la B lavora due pezzi per questo ho messo che da C1->s2->A1B3.

Inoltre anche negli stati A3B2 ed A3B3 può scattare l'evento r1 di riparazione della macchina A, così come è stato fatto nella soluzione già postata; nella tua soluzione se l'evento r1 accade mentre ti trovi in A3B2 od A3B3, esso non avrà nessun effetto sull'automa

Qui hai pienamente ragione perche avrei dovuto mettere uno stato in cui finivano A3B2 e A3B3, e da quello stato quando scattava f2 finiva nello stato iniziale.

Sulla prima nota non riesco a trovarmi daccordo invece per il motivo che ti ho detto...forse ho male interpretato la traccia?

[Fabrix883]

...forse ho male interpretato la traccia?

Si... come ho già detto, s2 indica l'inizio della lavorazione di un solo pezzo. Per arrivare nello stato B3 a partire dallo stato B1, l'evento s2 deve per forza scattare due volte. La traccia non dice che la macchina B inizia a lavorare due pezzi insieme, ma dice che la macchina A (dopo aver lavorato un pezzo), deve aspettare che la macchina B lavori due pezzi prima di poter lavorare un'altro e per lavorare due pezzi devono scattare due s2 e, di conseguenza due f2.

[tanux]

capito...grazie mille per le delucidazioni!