Ingegneria del software Modulo 1 -Introduzione al processo software Unità didattica 3 - Modelli di fase danalisi Ernesto Damiani Università degli Studi di Milano Lezione 9 – Reti di Petri colorate
Richiamo della definizione di Rete di Petri È una 4-tupla (P,T,I,O) – P è un insieme finito di posti – T è un insieme finito di transizioni – I e O traducono T in bag di posti. I(t j ) definisce gli input di una transizione t j O(t j ) definisce gli output di t j
Estensioni Proposte molte estensioni del modello base a reti di Petri. Alcune non aumentano la potenza del modello base Altre aumentano la classe di sistemi da poter modellare e consentono token colorati o tipati
Esempio di rete di Petri (1) La rete modella parte di un sistema operativo relativo a un sistema a dischi Un posto rappresenta i due canali (A e B) Un altro posto rappresenta le tre unità disco (1, 2 e 3)
Esempio di rete di Petri (2)
Esempio di rete di Petri (3) Sebbene entrambi i canali siano lo stesso modello di dispositivi e le tre unità disco sia molto simili, le connessioni tra di essi richiedono – che lunità disco 1 utilizzi il canale A, – che lunità disco 3 utilizzi il canale B Lunità disco 2, invece, può usare il canale A o il canale B.
Token Quando si usa una rete di Petri per modellare un sistema, i token spesso rappresentano oggetti o risorse nel sistema modellato Queste risorse possono avere attributi che non sono rappresentati facilmente da un semplice token di rete di Petri. FINE