Domande d'esame VERIFICATO
temi d'esame prof: Ferrarini
5 visualizzazioni
Nessun voto ancora
Di cosa parla
- Calcolare la matrice di incidenza e il grafo di raggiungibilità per una rete di Petri.
- Determinare se la rete è viva e reversibile, calcolare i P-invarianti minimi e valutare la conservatività della rete.
- Identificare i sifoni della rete e analizzare vincoli su marcature per determinare il controllore massimamente permissivo.
- Modellare un sistema manifatturiero utilizzando il paradigma FMS, introducendo modelli delle risorse e valutando la presenza di deadlock.
- Implementare criteri di scelta tra stazioni di lavoro alternativamente in un sistema manifatturiero.
- Scrivere programmi Ladder Diagram per realizzare onde quadre periodiche e analizzare l'attivazione dei passi in strutture SFC con AND/OR-divergenza/convergenza.