| Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente |
| magistraleinformaticaeconomia:mpb:start [07/09/2025 alle 10:36 (12 giorni fa)] – [Lectures (first half)] Roberto Bruni | magistraleinformaticaeconomia:mpb:start [19/09/2025 alle 12:52 (75 minuti fa)] (versione attuale) – [Lectures (first half)] Roberto Bruni |
|---|
| ==== Announcements ==== | ==== Announcements ==== |
| |
| * **as the course starts**:\\ Please spend a few minutes to fill the form [[https://forms.office.com/e/pUBCaXA1Tg|Background Check]] that will be helpful to tune the pace and content of the course. | * **As the course starts**:\\ Each student must subscribe the [[https://teams.microsoft.com/l/team/19%3Azto2eFj4PLSjCg5zdWWdvStfVb-XOYSoLPQAPA-hQIk1%40thread.tacv2/conversations?groupId=da00da6d-78f7-40c7-963b-6bebe0a3078c&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Microsoft Teams channel]] of the course.\\ Then, please spend a few minutes to fill the form [[https://forms.office.com/e/pUBCaXA1Tg|Background Check]] that will be helpful to tune the pace and content of the course. |
| |
| ---- | ---- |
| |
| ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ | ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ |
| | 1 | 17/09 | 14:00-16:00 | L1 | Lecture 1 | Course introduction:\\ //course objectives, textbooks, BPM aim and motivation, models and abstraction// | | | | 1 | 17/09 | 14:00-16:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:01-introduction-2025-26.pdf |Lecture 1}} | Course introduction:\\ //course objectives, textbooks, BPM aim and motivation, models and abstraction// | | |
| | 2 | 19/09 | 09:00-1:00 | L1 | Lecture 2 | | | | | 2 | 19/09 | 11:00-13:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:02-business-processes-2025-26.pdf |Lecture 2}} | Introduction to Business Processes:\\ //Taylorism, work units, processes, terminology, organizational structures, process orientation and reengineering, visual notations// | | |
| | | 3 | 24/09 | 14:00-16:00 | L1 | Lecture 3 | | | |
| |
| |
| |
| ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ | ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ |
| | 13 | 15/11 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:10-properties-2024.pdf |Lecture 10}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:11-net-matrices-2024.pdf |Lecture 11}} (1st part) | Behavioural properties:\\ //deadlock freedom, boundedness, safeness, home marking, cyclicity//\\ \\ Structural properties:\\ //weak and strong connectedness, S-systems, T-systems, free-choice nets//\\ \\ Nets as matrices:\\ //markings as vectors, incidence matrices, Parikh vectors, marking equation lemma, monotonicity lemma// | | | | 13 | ... | ... | L1 | | | | |
| | 14 | 18/11 | 11:00-13:00 | M1 | Exercises (from Lecture 10)\\ \\ {{ :magistraleinformaticaeconomia:mpb:11-net-matrices-2024.pdf |Lecture 11}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:12-invariants-2024.pdf |Lecture 12}} (1st part) | Exercises:\\ //behavioural properties, structural properties//\\ \\ Nets as matrices:\\ //monotonicity lemma 2 and a corollary, boundedness lemma, repetition lemma//\\ \\ Invariants:\\ //S-invariants, fundamental property of S-invariants, alternative characterization of S-invariant, support, positive S-invariants// | | | | 14 | ... | ... | L1 | | | | |
| | 15 | 21/11 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:12-invariants-2024.pdf |Lecture 12}} (2nd part)\\ Exercises (from Lecture 12)\\ \\ {{ :magistraleinformaticaeconomia:mpb:13-workflow-nets-2024.pdf |Lecture 13}} (1st part) | Invariants:\\ //S-invariants and boundedness, S-invariants and liveness, S-invariants and reachability, T-invariants, fundamental property of T-invariants, alternative characterization of T-invariants, reproduction lemma, about liveness and boundedness, two connectedness theorems//\\ \\ Exercises:\\ //invariants//\\ \\ Workflow nets:\\ //definition, syntax sugar, subprocesses, control flow aspects// | | | |
| | 16 | 22/11 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:13-workflow-nets-2024.pdf |Lecture 13}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:14-wfnets-analysis-2024.pdf |Lecture 14}} (1st part) | Workflow nets:\\ //triggers//\\ \\ Exercise:\\ //modelling with workflow nets//\\ \\ Analysis of workflow nets:\\ //structural analysis, activity analysis, token analysis, net analysis, verification and validation, reachability analysis, bags, coverability graph, soundness, N*// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | |
| | 17 | 25/11 | 11:00-13:00 | M1 | Exercises (from Lectures 13 and 14)\\ \\ {{ :magistraleinformaticaeconomia:mpb:14-wfnets-analysis-2024.pdf |Lecture 14}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:15-wfnets-construction-2024.pdf |Lecture 15}}\\ Exercises (from Lecture 15) | Exercises:\\ //workflow nets and soundeness, soundness by construction//\\ \\ Analysis of workflow nets:\\ //main soundness theorem, strong connectedness of N*//\\ \\ Safe Workflow nets:\\ //soundness (and safeness) by construction// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | |
| | 18 | 28/11 | 16:00-18:00 | L1 | Exercises (from Lecture 14)\\ \\ {{ :magistraleinformaticaeconomia:mpb:16-s-systems-2024.pdf |Lecture 16}}\\ Exercises (from Lecture 16)\\ \\ {{ :magistraleinformaticaeconomia:mpb:17-t-systems-short-2024.pdf |Lecture 17}}\\ Exercises (from Lecture 17)\\ \\ {{ :magistraleinformaticaeconomia:mpb:18-aux-p-np-short-2024.pdf |A note on P and NP}} (optional reading) | S-systems:\\ //fundamental property of S-systems, S-invariants of S-nets, liveness theorem, reachability lemma, reachability theorem, boundedness theorem, workflow S-nets//\\ \\ T-systems:\\ //circuits and token count on a circuit, fundamental property of T-systems, T-invariants of T-nets, boundedness in strongly connected T-systems, liveness theorem for T-systems, workflow T-nets//\\ \\ Decision problems and computational complexity (optional reading)\\ \\ Exercises:\\ //S-nets properties, T-nets properties// | | | |
| | 19 | 02/12 | 11:00-13:00 | M1 | {{ :magistraleinformaticaeconomia:mpb:18-free-choice-new-2024.pdf |Lecture 18}}\\ {{ :magistraleinformaticaeconomia:mpb:19-epc-analysis-2024.pdf |Lecture 19}} (1st part)\\ \\ Exercises (from Lecture 17) | Free-choice nets:\\ //Fundamental property of free-choice nets, place-liveness = liveness in f.c. nets, Commoner's theorem, Rank theorem, clusters, stable sets, siphons, proper siphons, fundamental property of siphons, siphons and liveness, traps, Commoner's theorem and its complexity issues, Rank theorem and its complexity issues//\\ \\ EPC:\\ //soundness analysis, from EPC to wf nets, net fragments, dummy style, fusion style, unique start, unique end, three transformations//\\ \\ Exercises:\\ //workflow net analysis with Woped, properties of free-choice nets, workflow systems// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | |
| | 20 | 05/12 | 16:00-18:00 | L1 | Exercises (from Lecture 18)\\ \\ {{ :magistraleinformaticaeconomia:mpb:19-epc-analysis-2024.pdf |Lecture 19}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:20-workflow-systems-2024.pdf |Lecture 20}} | Exercises:\\ //free-choice nets, clusters, siphons, traps, SAT encoding//\\ \\ EPC:\\ //semantics ambiguities, relaxed sound nets, relaxed sound EPC diagrams, from restricted EPC diagrams to f.c. nets, problems with (X)OR joins, OR join policies (wfa, fc, et), from decorated EPC diagrams to nets//\\ \\ Workflow systems:\\ //I/O interfaces, workflow modules, stuctural compatibility, workflow system, weak soundness// | [[https://online.visual-paradigm.com/diagrams/features/epc-diagram-tool/|VP]]\\ [[http://www.yworks.com/en/products_yed_about.html|yEd]]\\ [[http://woped.dhbw-karlsruhe.de/|Woped]] | | |
| | 21 | 06/12 | 16:00-18:00 | L1 | Exercises (from Lecture 20)\\ \\ {{ :magistraleinformaticaeconomia:mpb:21-bpmn-analysis-2024.pdf |Lecture 21}}\\ {{ :magistraleinformaticaeconomia:mpb:22-wfnets-diagnosis-short-2024.pdf |Lecture 22}} | Exercises:\\ //workflow systems//\\ \\ BPMN:\\ //from BPMN diagrams to nets//\\ \\ Diagnosis of Workflow nets:\\ //Woped, S-components, S-cover, sound f.c wf nets are safe, TP-handles, PT-handles, well-handled nets, well-structured wf nets, Woflan, ProM, error sequences, non-live sequences, unbounded sequences// | [[http://www.yworks.com/en/products_yed_about.html|yEd]]\\ [[http://bpmn.sourceforge.net/|Yaoqiang]]\\ [[http://bpmn.io/|BPMN.io]]\\ [[https://camunda.com/platform/modeler/|Camunda]]\\ [[https://www.bizagi.com/platform/modeler|Bizagi]]\\ [[https://online.visual-paradigm.com/diagrams|VP]]\\ \\ [[http://woped.dhbw-karlsruhe.de/|Woped]]\\ [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]] | | |
| | 22 | 09/12 | 11:00-13:00 | M1 | Exercises (from Lectures 19 and 22)\\ \\ {{ :magistraleinformaticaeconomia:mpb:23-mining-new-2024.pdf |Lecture 23}} | Exercises:\\ //EPC analysis//\\ \\ Process mining:\\ //intro, Event logs, discovery, conformance, enhancement, perspectives, play-in, play-out, replay, overfitting, underfitting, alpha-algorithm, footprint matrix, naive fitness, improved fitness, comparing footprints// | | | |
| | 23 | 12/12 | 16:00-18:00 | L1 | Exercises (from Lecture 23)\\ \\ {{ :magistraleinformaticaeconomia:mpb:24-quantitative-analysis-2024.pdf |Lecture 24}} | Exercises:\\ //process discovery, peformance analysis//\\ \\ Quantitative analysis:\\ //Performance dimensions and objectives, KPI, cyle time analysis, Little's law, cost analysis//\\ \\ A final note (with project instructions) | | | |
| | 24 | 13/12 | 16:00-18:00 | Teacher's office | Questions and answers | | | | |
| | end | | | | | | | | |
| |
| ==== Exam sessions ==== | |
| |
| ^ Date ^^ Time ^ Room ^ Info ^ | |
| | //day// | //date// | //time// | Teams | Exam\\ [[https://esami.unipi.it/esami/|Exams registration system]]\\ The actual date of the oral exam will be agreed with the teacher | | |
| |
| ---- | |
| |
| ==== Past courses ==== | ==== Past courses ==== |
