magistraleinformaticaeconomia:mpb:start
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
| Entrambe le parti precedenti la revisioneRevisione precedente | |||
| magistraleinformaticaeconomia:mpb:start [28/09/2026 alle 13:23 (16 ore fa)] – [Lectures] Roberto Bruni | magistraleinformaticaeconomia:mpb:start [28/09/2026 alle 13:24 (16 ore fa)] (versione attuale) – [Lectures] Roberto Bruni | ||
|---|---|---|---|
| Linea 148: | Linea 148: | ||
| | 12 | Tue | 27/10 | 09:00-11:00 | C1 | Lecture 7b | BPMN key features | | | | 12 | Tue | 27/10 | 09:00-11:00 | C1 | Lecture 7b | BPMN key features | | | ||
| | 13 | Thu | 29/10 | 16:00-18:00 | A1 | Lecture 8 | Petri nets: finite automata, nets, markings, firing | | | | 13 | Thu | 29/10 | 16:00-18:00 | A1 | Lecture 8 | Petri nets: finite automata, nets, markings, firing | | | ||
| - | | 14 | | Lecture 9 | Petri nets: occurrence graph, boundedness, | + | | 14 | | | |
| | 15 | | | | | Lecture 10 | Petri nets: Liveness, place liveness, deadlock freedom | | | | 15 | | | | | Lecture 10 | Petri nets: Liveness, place liveness, deadlock freedom | | | ||
| | 16 | | | | | Lecture 11 | Petri nets as matrices: incidence matrix, Parikh vectors, Marking equation lemma, Monotonicity lemma, Boundedness lemma, Repetition lemma | | | | 16 | | | | | Lecture 11 | Petri nets as matrices: incidence matrix, Parikh vectors, Marking equation lemma, Monotonicity lemma, Boundedness lemma, Repetition lemma | | | ||
magistraleinformaticaeconomia/mpb/start.txt · Ultima modifica: da Roberto Bruni