Compiti ed esercitazioni VERIFICATO
esercitazioni prof: Ferrarini
117 visualizzazioni
Nessun voto ancora
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Trasmettitore e ricevitore: sistema composto da trasmettitore e ricevitore con eventi PROC, SEND, OPEN, OK.
- Analisi matrice di incidenza, classe della rete di Petri (RdP), calcolo P.I. e T.I., grafo di raggiungibilità e proprietà della RdP.
- Variante con errore nel messaggio ricevuto: aggiunta evento ERROR e CHECK, ma non cambiano le proprietà della RdP.
- Studio dei sifoni identifica {P1, P4, P5} come problematico per deadlock.
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.