Verificare che la rete di Petri sia a scelta libera e determinarne uno stato raggiungibile, specificando la sequenza di scatti e le proprietà della rete.
Scrivere la matrice di incidenza e calcolare P- e T-invarianti della rete.
Determinare i sifoni P-minimi, i sifoni di base e minimi, e le trappole minime della rete.
Verificare che una marcatura data sia morta e spiegare perché non tutti i sifoni minimi si possono svuotare a partire dalla marcatura iniziale.
Implementare un programma Ladder Diagram per controllare il movimento di un robot con due pulsanti di comando.
Modellizzare un processo chimico in SFC, dove una valvola viene aperta fino a raggiungere un livello specifico e un allarme si attiva se il livello non scende entro 10 minuti.
Siamo nati da poco ma abbiamo già migliaia di appunti nella nostra community!
Completa il tuo profilo
Adesso sei dei nostri!
Ottieni i primi crediti!
Carica i tuoi file
Il modo più veloce per guadagnare crediti è caricare materiale.
Ci sono tante tipologie di materiale e siamo certi che hai tanto valore da condividere con la community!
Accidenti, ancora non abbiamo il tuo corso di laurea!
Se ti va puoi inserirlo tu in pochi click — anche solo il corso di laurea, oppure completo di tutti i corsi!
Aggiungilo subito
e faremo del nostro meglio per popolarlo di materiale interessante.
Nel frattempo inizia a guadagnare crediti invitando i tuoi amici, così appena saremo attivi potrai subito accedere al materiale disponibile.
Bastano 3 amici verificati per attivare l'abbonamento…
Consiglia ai tuoi amici
Scrivi ai tuoi vecchi amici o ai tuoi nuovi colleghi di studio. Ogni email che inserisci rappresenta un mattone importante per la community.
Per ogni amico che porti otterrai nuovi crediti!