2.3 conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti;...
TRANSCRIPT
![Page 1: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/1.jpg)
2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione;controllo supervisore
Esercizi proposti: Parte prima [2.1,…,2.17]
www.dia.uniroma3.it
![Page 2: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/2.jpg)
Semaforo stradale
Arrivo NS Arrivo EO
Verde EOVerde NS
Capacità
Coda EOCoda NS
Uscita NS
Flusso NS Flusso EO
Semaforo
Presenza
Capacità
Presenza
![Page 3: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/3.jpg)
Semaforo stradale
Arrivo NS Arrivo EO
Verde EOVerde NS
Capacità
Coda EOCoda NS
Uscita NS
Flusso NS Flusso EO
Semaforo
Presenza
Capacità
Presenza
![Page 4: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/4.jpg)
Semaforo stradale
Arrivo NS Arrivo EO
Capacità
Coda EOCoda NS
Uscita NS
Flusso NS Flusso EO
Semaforo Presenza
Capacità
Presenza
![Page 5: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/5.jpg)
Semaforo stradale
Arrivo NS Arrivo EO
Coda EOCoda NS
Uscita NS
Flusso NS Flusso EO
Semaforo
Presenza
Capacità
Presenza
![Page 6: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/6.jpg)
Semaforo stradale
Arrivo NS Arrivo EO
Verde EOVerde NS
Capacità
Coda EOCoda NS
Uscita NS
Flusso NS Flusso EO
Semaforo
Presenza
Capacità
Presenza
Altri modelli per evitare lo stallo?
![Page 7: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/7.jpg)
Transizioni
Se lo scatto di una di esse disabilita le altre
Due Transizioni sono in conflitto in una marcatura M
![Page 8: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/8.jpg)
Conflitto:
t1 t2
t1 e t2 sono transizioni in conflitto perché lo scatto di una delle due disabilita l’altra
![Page 9: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/9.jpg)
EsempioMagazzino I/O
grezzo
sistemadi lavorazione“buffer con
quattro posti”
Collegamento con altrisistemi
Output
Input
Prodotto finito
![Page 10: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/10.jpg)
Modello magazzino I/OImmagazzinamento di pezzo da lavorare
spazi liberi
Spazi occupati
![Page 11: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/11.jpg)
Modello magazzino I/OImmagazzinamento di pezzo da lavorare
spazi liberi
Spazi occ. da grezzi
Grezzo nel sistemadi lavorazione
Richiesta grezzo per lavorazione
Nuovo grezzo dall’esterno
![Page 12: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/12.jpg)
Modello magazzino I/OImmagazzinamento di pezzo da lavorare
Posti liberi
Grezzo da lavorare
Grezzo nel sistemadi lavorazione
Richiesta grezzo per lavorazione
Nuovo grezzo dall’esterno
![Page 13: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/13.jpg)
Immagazzinamento di un prodotto finito
spazi liberiProdotto da immagazzinare
Richiestaprodotto finitodall’esterno
Prodotto finitoall’esterno
Spazi occ.da finiti
Modello magazzino I/O
![Page 14: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/14.jpg)
Transizioni in conflittopotenziale
Posti liberi
Prodotti finiti
Prodotto da immagazzinare
Grezzi da lavorare
Grezzo nel sistemadi lavorazione
Richiesta grezzo per lavorazione
Nuovo grezzo dall’esterno
Richiestaprodotto finitodall’esterno
Prodotto finitoall’esterno
![Page 15: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/15.jpg)
Transizioni in conflittoeffettivo
Posti liberi
Prodotti finiti
Prodotto da immagazzinare
Grezzo da lavorare
Grezzo nel sistemadi lavorazione
Richiesta grezzo per lavorazione
Nuovo grezzo dall’esterno
Richiestaprodotto finitodall’esterno
Prodotto finitoall’esterno
![Page 16: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/16.jpg)
La soluzione del conflitto può essere rappresentata con archi inibitori
Posti liberi
Prodotti finiti
Prodotto da immagazzinare
grezzi da lavorare
grezzo nel sistema
Richiesta grezzoper lavorazione
Nuovo grezzo dall’esterno
Rimozione di un prodotto dall’esterno
![Page 17: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/17.jpg)
La soluzione del conflitto può essere rappresentata con archi inibitori
Posti liberi
Prodotti finiti
Prodotto da immagazzinare
grezzi da lavorare
grezzo nel sistema
Richiesta grezzoper lavorazione
Nuovo grezzo dall’esterno
Rimozione di un prodotto dall’esterno
![Page 18: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/18.jpg)
Transizioni
Se possono scattare indipendentemente l’una
dall’altra
Due Transizioni si dicono concorrenti in una marcatura M
![Page 19: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/19.jpg)
Concorrenza:
t1 e t2 sono dette transizioni concorrenti
t1 t2
![Page 20: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/20.jpg)
Modello magazzino I/O
Posti liberi
Prodotti finiti
Prodotto da immagazzinare
Grezzi da lavorare
Grezzo nel sistemadi lavorazione
Richiesta grezzo per lavorazione
Nuovo grezzo dall’esterno
Transizioni concorrenti
Richiestaprodotto finitodall’esterno
Prodotto finitoall’esterno
![Page 21: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/21.jpg)
Modello magazzino I/O
Posti liberi
Prodotti finiti
Prodotto da immagazzinare
Grezzi da lavorare
Richiesta grezzo per lavorazione
Nuovo grezzo dall’esterno
Transizioni concorrenti
Richiestaprodotto finitodall’esterno
Prodotto finitoall’esterno
Grezzo nel sistemadi lavorazione
![Page 22: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/22.jpg)
Modello magazzino I/O
Posti liberi
Prodotti finiti
Prodotto da immagazzinare
Grezzi da lavorare
Richiesta grezzo per lavorazione
Nuovo grezzo dall’esterno
Transizioni concorrenti
Richiestaprodotto finitodall’esterno
Prodotto finitoall’esterno
Grezzo nel sistemadi lavorazione
![Page 23: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/23.jpg)
Modello magazzino I/O
Posti liberi
Prodotti finiti
Prodotto da immagazzinare
Grezzi da lavorare
Richiesta grezzo per lavorazione
Nuovo grezzo dall’esterno
Richiestaprodotto finitodall’esterno
Prodotto finitoall’esterno
Grezzo nel sistemadi lavorazione
![Page 24: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/24.jpg)
EVENTO ATTIVITA’
grezzo sulla macchina
pezzo in lavorazione
fine operazione
scambiopezzi in uscita
inizio operazione
pezzo in attesa
EVENTO INIZIO
Si è rappresentato il concatenarsi deglieventi e il possibile evolversi dello stato
![Page 25: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/25.jpg)
TRANSIZIONI
Temporizzate Immediate
Rappresentano il tempo
necessario affinchél’evento si verifichi
il tempo è una proprietà associata
alla transizione
Modellano una sincronizzazione:- passiva (simulazione)- attiva
(controllo)
![Page 26: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/26.jpg)
Esempio
TransizioneTemporizzata
TransizioneTransizione ImmediataImmediata
operazione
pezzo in lavorazione
inizio operazione
pezzo inattesa di uscire
![Page 27: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/27.jpg)
Le marche restano nei posti in ingresso
per il tempo associato
Transizione Temporizzata
La transizione scatta quando le marche sono rimaste
nei posti d’ingresso per il tempo ad essa associato
![Page 28: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/28.jpg)
Macchinain riparazione
Tempo medio trai guasti (MTBF)
Tempo medio per riparare (MTTR)
operaz.
pezzo inattesa di uscire
Macchinadisp.
Pezzo in lavorazione
Esempio: MODELLO DEI GUASTI
![Page 29: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/29.jpg)
forcellaliberada p.in usc.
p.att. lav.
p. in lav.
f. op.
p.in usc.
p.att.usc.
condizione della macchina
pezzo
in
ing
r.
Interfaccia con il sistema di trasporto
pezzi fuori
t5
p. att.ingr.
t5t1
t2
t3
t4
scambio
uscita
![Page 30: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/30.jpg)
p. att. lav.
p. in lav.
lavorazione
scambio
p. in usc.
p. att. usc.
condizione della macchina
p. att. ingr.
pezzi fuori
forcellalibera
uscita
p. in ingr.
Trasf. in ingr.
Transizione immediataTransizione immediata
Transizioni temporizzateTransizioni temporizzate
![Page 31: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/31.jpg)
Controllo supervisore(Controllo degli eventi discreti)
Le transizioni immediate mettono in evidenza le azioni del controllo supervisore di macchina
![Page 32: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/32.jpg)
Per la programmazione del controllore logico (PLC:
programmable logic controller) di macchina, i posti di ingresso
rappresentano le misure da acquisire automaticamente per svolgere l’azione di controllo
automatico supervisore
![Page 33: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/33.jpg)
lavorazione
scambio
uscita
Modella un’attivitàdella macchina con controlli continui (per i movimenti di utensile e pezzo)
Modellano un’attività del sistema di trasporto con controllo di inizio operazione e poi controllo continuo
Modella il controlloinizio lavorazione
trasf.
![Page 34: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/34.jpg)
Transizioni immediateTransizioni immediate
Transizioni temporizzateTransizioni temporizzate
lavorazione
scambio
uscita
Controllo inizio scambio esplicitato
![Page 35: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/35.jpg)
2.4 Macchina con forcella di scambio, Gantt; proprietà delle reti di Petri: conservatività,limitatezza, vivezza, ciclicità
![Page 36: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/36.jpg)
Macchina con 2 pallet e forcella di scambio
PALLET FORCELLA
2 1
![Page 37: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/37.jpg)
Rete di Petri associataRete di Petri associata(parziale)(parziale)
Disponibilità macchina
Disponibilità pezzo
Scambiopossibileo in corso
Macchina in lavorazione
tlav
ts
![Page 38: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/38.jpg)
Diagrammi di Gantt
Disponib. macchina
Disponib. grezzo
Scambio
Macchina in lavorazione
0
Disp. grezzo
Scambio
Macch. in lav.
tlav
ts
Disp. macchina
![Page 39: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/39.jpg)
Disponib. macchina
Disponib. grezzo
Scambio
Macchina in lavorazione
0
tlav
Diagrammi di Gantt
tlav
ts
![Page 40: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/40.jpg)
ts
0
tlav
Diagrammi di Gantt
tlav
tS
Disponib. macchina
Disponib. grezzo
Scambio
Macchina in lavorazione
![Page 41: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/41.jpg)
0
tlav
Diagrammi di Gantt
tlav
ts
tS
Disponib. macchina
Disponib. grezzo
Scambio
Macchina in lavorazione
![Page 42: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/42.jpg)
tlav
0
tlav
Diagrammi di Gantt
tlav
ts
tS
Disponib. macchina
Disponib. grezzo
Scambio
Macchina in lavorazione
![Page 43: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/43.jpg)
Proprietà delle Reti di Petri
Conservatività
Una Reti di Petri marcata si dice conservativa se la somma pesata delle marche contenute nei posti della rete è costante in qualsiasi
marcatura raggiungibile.
![Page 44: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/44.jpg)
Proprietà delle Reti di Petri
Ovvero se vale la relazione:
k=1,n wkMi(k) = k=1,n wkMj(k)
per ogni i,j con wk>0
Conservatività
![Page 45: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/45.jpg)
tlav
Macchina in lavorazione
0
tlav
Conservatività
tlav
ts
tS
Wk=1 Wk=1
Wk=1
Wk=2
![Page 46: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/46.jpg)
Proprietà delle Reti di Petri
Conservatività stretta
Una Reti di Petri marcata si dice strettamente conservativa se la
somma delle marche contenute nei posti della rete è costante in
qualsiasi marcatura raggiungibile.
![Page 47: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/47.jpg)
Proprietà delle Reti di Petri
Ovvero se vale la relazione:
k=1,n Mi(k) = k=1,n Mj(k)
per ogni i,j
Conservatività stretta
![Page 48: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/48.jpg)
tlav
Disponib. Disponib. macchinamacchina
DisponibDisponib. . grezzogrezzo
ScambioScambio
Macchina in Macchina in lavorazionelavorazione
0
tlav
Conservatività stretta
tlav
ts
tS
![Page 49: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/49.jpg)
Quando la lavorazione del pezzo 1 è terminata ed è avvenuto lo scambio si ha la:
1221
“depallettizzazione”
![Page 50: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/50.jpg)
Disponibilità macchina
Grezzo su pallettin macch.
Scambioin corso
Macchina in lavorazione
tlav
ts
.
Pezzo lav.Grezzo su pallett
Macchina con forcella di scambio:depall.depall.
Pezzo lav. su pallett in macch.
CONCORRENZA
depallettizzazione
![Page 51: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/51.jpg)
Un nuovo pezzo è fissato su di un pallet prima di entrare in lavorazione
23
Pezzo in lavorazione
Pezzo da lavorare
“pallettizzazione”
![Page 52: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/52.jpg)
Grezzo su pallettin macch.
Scambioin corso
Grezzosu pallett
Macchina con forcella di scambio:pallettpallett
Pezzo lav. su pallett in macch.
depallettizzazione
Out pezzi
pallettizzazione
Depall. In corso
Pallettdispon.
.
In grezzi
Pallettizz. In corso
scambio12
MACCHINA
Pezzo lavorato
![Page 53: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/53.jpg)
Disponibilità macchina
Grezzo su pallettin macch.
Scambioin corso
Macchina in lavorazione
lav
Grezzosu pallett
Pezzo lav. su pallett in macch.
depallettizzazione
Out pezzi
pallettizzazione
Depall. In corso
Pallettdispon.
In grezzi
Pallettizz. In corso
scambio
Pezzo lavorato
![Page 54: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/54.jpg)
Disponibilità macchina
Grezzo su pallettin macch.
Scambioin corso
Macchina in lavorazione
lav
Grezzosu pallett
.
Pezzo lav. su pallett in macch.
depallettizzazione
Out pezzi
pallettizzazione
Depall. In corso
Pallettdispon.
In grezzi
Pallettizz. In corso
scambio
Pezzo lavorato
![Page 55: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/55.jpg)
Disponibilità macchina
Grezzo su pallettin macch.
Scambioin corso
Macchina in lavorazione
lav
Grezzosu pallett
.
Pezzo lav. su pallett in macch.
depallettizzazione
Out pezzi
pallettizzazione
Depall. In corso
Pallettdispon.
.
In grezzi
Pallettizz. In corso
scambio
Pezzo lavorato
![Page 56: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/56.jpg)
Disponibilità macchina
Grezzo su pallettin macch.
Scambioin corso
Macchina in lavorazione
lav
Grezzosu pallett
Pezzo lav. su pallett in macch.
depallettizzazione
Out pezzi
pallettizzazione
Depall. In corso
Pallettdispon.
.
In grezzi
Pallettizz. In corso
scambio
Pezzo lavorato
![Page 57: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/57.jpg)
Disponibilità macchina
Grezzo su pallettin macch.
Scambioin corso
Macchina in lavorazione
lav
Grezzosu pallett
Pezzo lav. su pallett in macch.
depallettizzazione
Out pezzi
pallettizzazione
Depall. In corso
Pallettdispon.
.
In grezzi
Pallettizz. In corso
scambio
Pezzo lavorato
![Page 58: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/58.jpg)
Disponibilità macchina
Grezzo su pallettin macch.
Scambioin corso
Macchina in lavorazione
lav
Grezzosu pallett
Pezzo lav. su pallett in macch.
depallettizzazione
Out pezzi
pallettizzazione
Depall. In corso
Pallettdispon.
.
In grezzi
Pallettizz. In corso
scambio
Pezzo lavorato
![Page 59: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/59.jpg)
Disponibilità macchina
Grezzo su pallettin macch.
Scambioin corso
Macchina in lavorazione
lav
Grezzosu pallett
Pezzo lav. su pallett in macch.
depallettizzazione
Out pezzi
pallettizzazione
Depall. In corso
Pallettdispon.
.
In grezzi
Pallettizz. In corso
scambio
Pezzo lavorato
![Page 60: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/60.jpg)
Disponibilità macchina
Grezzo su pallettin macch.
Scambioin corso
Macchina in lavorazione
lav
Grezzosu pallett
Pezzo lav. su pallett in macch.
depallettizzazione
Out pezzi
pallettizzazione
Depall. In corso
Pallettdispon.
.
Pallettizz. In corso
scambio
Pezzo lavorato
In grezzi
![Page 61: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/61.jpg)
t4
lav
t1
t2t3
t5
t6
t8
t7
GRAFO DI STATO
M0
![Page 62: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/62.jpg)
t1
M1
M0
![Page 63: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/63.jpg)
t4
lav
t1
t2t3
t5
t6
t8
t7
M1
![Page 64: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/64.jpg)
M2t1
M1
M0t5
t2
![Page 65: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/65.jpg)
t4
lav
t1
t2t3
t5
t6
t8
t7
GRAFO DI STATO
M0
![Page 66: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/66.jpg)
M2
t5
t1t5
t1M1
M0t2
![Page 67: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/67.jpg)
t4
lav
t1
t2
t3
t5
t6
t8
t7
M2
![Page 68: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/68.jpg)
M2t1
M1
M0t5
M3t6
t5
t1 t2t2
![Page 69: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/69.jpg)
t4
lav
t1
t2
t3
t5
t6
t8
t7
M3
![Page 70: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/70.jpg)
M2
t5
t1t5
t1
M3t6
M1
M0
M4t7
t2t2
t2
![Page 71: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/71.jpg)
t4
lav
t1
t2
t3
t5
t6
t8
t7
M4
![Page 72: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/72.jpg)
M2
t5
t1t5
M3 M4t6 t7
M1
M0
M5t8
t1 t2t2
t2 t2
![Page 73: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/73.jpg)
t4
lav
t1
t2
t3
t5
t6
t8
t7
M5
![Page 74: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/74.jpg)
M6
M2
t5
t1
t2
t5M3
M5
M4t6 t7
t8
M1
M0 t1 t2t2
t2 t2
![Page 75: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/75.jpg)
t4
lav
t1
t2
t3
t5
t6
t8
t7
M6
![Page 76: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/76.jpg)
M2
t5
t1
t2
t5M3
M5
M4t6 t7
t8t3
M1
M7
M0 t1 t2t2
t2
M6
t2
![Page 77: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/77.jpg)
t4
lav
t1
t2
t3
t5
t6
t8
t7
M7
![Page 78: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/78.jpg)
M2
t5
t1
t2
t5 M3
M5
M4t6 t7
t8t4
t3
M1
M0 t1 t2t2
t2
M6M7
t2
t5 t6 t7
t8
t6
t7
t1 t1t8
t1
![Page 79: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/79.jpg)
t4
lav
t1
t2
t3
t5
t6
t8
t7
M0
![Page 80: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/80.jpg)
Proprietà delle Reti di Petri
Limitatezza
Una Reti di Petri marcata si dice limitata se il numero massimo di marche presenti in ogni posto della rete è finito, in ogni marcatura raggiungibile.
![Page 81: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/81.jpg)
LimitatezzaLimitatezza
Se la rete è limitata non vivi sono divergenze (overflow)
![Page 82: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/82.jpg)
Disponibilità macchina
Grezzo su pallettin macch.
Scambioin corso
Macchina in lavorazione
lav
Pezzo lavorato
Grezzosu pallett
Macchina con forcella di scambio:overflowoverflowPezzo lav. su pallett in macch.
depallettizzazione
Out pezzi
pallettizzazione
Depall. In corso
Pallettdispon.
.
Pallettizz. In corso
scambio
![Page 83: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/83.jpg)
Reti di Petri limitate
Nei sistemi di produzione un magazzino rappresentato da un posto può essere dimensionato
con il limite, finito, della marcatura del posto
![Page 84: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/84.jpg)
Vivezza
Una Reti di Petri marcata è viva se ogni sua transizione può essere
abilitata a partire da qualsiasi marcatura raggiungibile
![Page 85: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/85.jpg)
Se la rete è viva non vi sono possibilità di stallo (dead-lock)
Vivezza
OVVERO SE t, Mi sammissibile : Mi +C s Min(t)
![Page 86: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/86.jpg)
Ciclicità
Una Reti di Petri marcata si dice ciclica se esiste una sequenza
ammissibile che riporta la rete alla marcatura iniziale da ogni marcatura raggiungibile.
![Page 87: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/87.jpg)
Ciclicità
Se la rete è ciclica si può riportare sempre allo stato iniziale e quindi a
qualsiasi stato raggiungibile
OVVERO SE Mi sammissibile : M0 = Mi +C s
![Page 88: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/88.jpg)
t4
lav
t1
t2
t3
t5
t6
t8
t7
M6
M2
t7t5
t1
t2
t6 t8
t5
t1
M3
M5
M4t6 t7
t8
t4t3
t1 t1
M1
M7
M0
GRAFO DI STATO
![Page 89: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/89.jpg)
Proprietà delle Reti di Petri
B: boundness: limitatezzaL: liveness: vivezzaR: reversibility: ciclicità
Le tre proprietà non sono correlate
![Page 90: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/90.jpg)
_ B L R:
1
543
2
1
2
34
1 4
2 4
1 5
2 5 3 4
1
23
1
4
“home state”
![Page 91: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/91.jpg)
_ B L R:
1
2
3 1
“home state”
2
32
1 3
24
5
1
3
5
![Page 92: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/92.jpg)
_ _ B L R:
12
1 2
22
32 1 3 1
1
3
32
1 3
24
5
2
1
3
5
2
5
2 3 3
1
4
1
2
3 12
3
5
2
5
![Page 93: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/93.jpg)
_ B L R:
1
2 3
4
5
1 2
34
1 4
234
134 1 5
2 4 2
1
3
1
2 5 3
4
23242
1
2353
4
4
1324
1
1353
4
1
2
23342
23253
4
2
![Page 94: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/94.jpg)
B L R
![Page 95: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/95.jpg)
B L R
![Page 96: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/96.jpg)
B L R
![Page 97: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/97.jpg)
B L R
![Page 98: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/98.jpg)
_ _ _ B L R
![Page 99: 2.3 Conflitti, modello di magazzino, archi inibitori; concorrenza, modello dei guasti; temporizzazione; controllo supervisore Esercizi proposti: Parte](https://reader033.vdocuments.net/reader033/viewer/2022052821/5542eb77497959361e8e0ed6/html5/thumbnails/99.jpg)
B L R
B L R B L R
B L R
_ _ _ B L R
Proprietà delle Reti di Petri