Petri Nets Controllo Supervisivo Mutua esclusione generalizzata (GMEC)

Presentazione sul tema: "Petri Nets Controllo Supervisivo Mutua esclusione generalizzata (GMEC)"— Transcript della presentazione:

1 Petri Nets Controllo Supervisivo Mutua esclusione generalizzata (GMEC)

2 Specifica statica Tipo di specifica comune di un controllo supervisivo sono le cosiddette specifiche statiche evitare che il sistema si trovi in un determinato insieme di stati; nelle PN tipico vincolo è la mutua esclusione generalizzata (GMEC). 2

3 Progetto di un controllore
per ogni vincolo del tipo si aggiunge alla rete un posto di controllo pc e si impone che il vettore sia un p-invariante la nuova rete ha matrice di incidenza la nuova rete ha stato iniziale la tecnica è applicabile solo se M0c è un vettore di elementi positivi 3

4 Esempio p1 p3 t1 t3 p2 p4 t2 t4 Il numero di token presenti contemporaneamente in p2 e p4 non deve superare il valore di un’unità (mutua esclusione tra p2 e p4) 4

5 Esempio p1 p3 t1 t3 p2 pc p4 t2 t4

6 Caso in studio Il sistema può processare 3 pezzi contemporaneamente (capacità del sistema pari a 3) senza nessun problema. Se vogliamo aumentare la capacità (per esempio a 5 unità), in modo da aumentare il numero di pezzi lavorati per unità di tempo, insorge un deadlock.

7 Situazione di blocco Per evitare il blocco imponiamo il vincolo:
M(p4)+M(p5)+M(p6)≥1  -M(p4)-M(p5)-M(p6)≤-1

8 Controllo (GMEC)

9 Rete controllata