Esercitazione1 - Reti di Petri-Introduzione-Proprieta-Grafo di Raggiungibilita esercitazioni prof: Ferrarini
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Reti di Petri: formalismo per la modellazione e analisi dei sistemi a eventi discreti, composto da posti (p), transizioni (t) e archi.
- Archi possono avere pesi interi positivi e sono orientati con forma libera.
- Posti possono contenere un numero variabile di gettoni (token); una transizione si attiva quando tutti i posti a monte ne hanno almeno il peso degli archi colleganti, scattando e modificando lo stato dei posti in base ai pesi degli archi.
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.