Corsi di Laurea

[RaFè]

Lunedì c'è l'esame di sad. ho visto la prova dell'11/07 e ho notato che c'è una specifica che al corso non dovremmo aver visto. Ossia è richiesto che la macchina M2 debba iniziare la lavorazione solo se sui buffer B2 e B1 rispettivamente di 8 e 2 posti, sia presente almeno un pezzo. Praticamente m2 ha il compito di assemblarli quindi se su uno dei due buffer non ci sono pezzi non può iniziare a lavorare. Come posso esprimerlo in gmec? M(B1)+M(B2)<2?? Non ne sono proprio sicuro. E poi la specifica secondo cui ogni macchina lavora solo un pezzo alla volta la deve rispettare anche m2?

M(B1)+M(B2)<2
M(m2)<1
M(B1)<2
M(B2)<8

Vanno bene?? Vi prego aiutatemi
Allego la parte del sistema che mi sta facendo impazzire.

File allegato

•  sad.JPG   7,28K   338 Download

[RaFè]

grazie lo stesso, ma ho risolto.
Basta mettere i due buffer in un unica transizione che si attiva solo quando c'è almeno un gettone in entrambi.

[ocinemod88]

grazie lo stesso, ma ho risolto.
Basta mettere i due buffer in un unica transizione che si attiva solo quando c'è almeno un gettone in entrambi.

Salve ragazzi trovo questa soluzione giusta. Qualcuno può confermare magari ha chiesto al prof.?