Compiti ed esercitazioni VERIFICATO
esercitazioni prof: Ferrarini
14 visualizzazioni
Nessun voto ancora
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.