Esame di stato da ing ad architetto e viceversa

Nell'esame di concorrenza facente parte di sistemi operativi non c'erano le reti di petri :look:

C'erano in metodi formali e laboratorio di metodi formali, che erano entrambi a scelta al terzo anno. Al primo anno di magistrale c'era cmq il corso obbligatorio ma molto meno approfondito dei due citati

reti di petri ci stanno al terzo in metodi formali (a scelta)

sono accennate per completezza in concorrenza (so del secondo) e linguaggi e computabilità (sempre del secondo)

pero' appunto accennate