Compiti ed esercitazioni VERIFICATO
Esercitazione1 - Reti di Petri-Introduzione-Proprieta-Grafo di Raggiungibilita esercitazioni prof: Ferrarini
7 visualizzazioni
Nessun voto ancora
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.