| Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente |
| magistraleinformaticaeconomia:mpb:start [26/11/2025 alle 20:56 (3 settimane fa)] – [Lectures] Roberto Bruni | magistraleinformaticaeconomia:mpb:start [12/12/2025 alle 09:51 (6 giorni fa)] (versione attuale) – [Lectures] Roberto Bruni |
|---|
| | 18 | 21/11 | 11:00-13:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:14-invariants-2025-26.pdf |Lecture 14}}\\ {{ :magistraleinformaticaeconomia:mpb:15-s-t-systems2025-26.pdf |Lecture 15}} | Invariants: T-invariants\\ Structural properties: S-systems, T-systems | | | | 18 | 21/11 | 11:00-13:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:14-invariants-2025-26.pdf |Lecture 14}}\\ {{ :magistraleinformaticaeconomia:mpb:15-s-t-systems2025-26.pdf |Lecture 15}} | Invariants: T-invariants\\ Structural properties: S-systems, T-systems | | |
| | 19 | 26/11 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:16a-epc-analysis-2025-26.pdf |Lecture 16a}}\\ {{ :magistraleinformaticaeconomia:mpb:16b-bpmn-analysis-2025-26.pdf |Lecture 16b}} | From EPC to WfN\\ From BPMN to WfN | | | | 19 | 26/11 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:16a-epc-analysis-2025-26.pdf |Lecture 16a}}\\ {{ :magistraleinformaticaeconomia:mpb:16b-bpmn-analysis-2025-26.pdf |Lecture 16b}} | From EPC to WfN\\ From BPMN to WfN | | |
| | 20 | 28/11 | 11:00-13:00 | C1 | Lecture 17 aux\\ Lecture 17 | P vs NP\\ Free-choice nets | | | | 20 | 28/11 | 11:00-13:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:17aux-p-np-2025-26.pdf |Lecture 17 aux}}\\ {{ :magistraleinformaticaeconomia:mpb:17-free-choice-2025-26.pdf |Lecture 17}} | P vs NP: Decision problems and complexity classes\\ Structural properties: Free-choice nets | | |
| | 21 | 03/12 | 14:00-16:00 | C1 | Lecture 18\\ Lecture 19 | Worflow systems: workflow modules, relaxed soundness\\ Conformance measures | | | | 21 | 03/12 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:18-workflow-systems-2025-26.pdf |Lecture 18}}\\ {{ :magistraleinformaticaeconomia:mpb:19-conformance-2025-26.pdf |Lecture 19}} | Worflow systems: workflow modules, relaxed soundness\\ Conformance measures | | |
| | 22 | 05/12 | 11:00-13:00 | C1 | Lecture V4 | //**(Prof. Vandin)**// | | | | 22 | 05/12 | 11:00-13:00 | C1 | Lecture V4 | Conformance checking: how good is my model? How good is the log? //**(Prof. Vandin)**// | | |
| | 23 | 10/12 | 14:00-16:00 | C1 | Lecture 20 | Workflow nets diagnosis: Woflan, ProM, coverability, error sequences | [[http://woped.dhbw-karlsruhe.de/|Woped]]\\ [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]] | | | 23 | 10/12 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:20-quantitative-analysis-2025-26.pdf |Lecture 20}}\\ {{ :magistraleinformaticaeconomia:mpb:21-wfnets-diagnosis-2025-26.pdf |Lecture 21}} | Quantitative analysis: Cycle time, Flow analysis, Little's law\\ \\ Workflow nets diagnosis: Woflan, ProM, coverability, (optional: error sequences) | [[http://woped.dhbw-karlsruhe.de/|Woped]]\\ [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]] | |
| | 24 | 12/12 | 11:00-13:00 | C1 | Lecture 21 | Quantitative analysis: Cycle time, Flow analysis, Little's law | | | | - | 12/12 | 11:00-13:00 | C1 | **Canceled** | **General strike** | | |
| |
| |
