| Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente |
| magistraleinformaticaeconomia:mpb:start [07/09/2025 alle 10:09 (12 giorni fa)] – [Business Processes Modeling] Roberto Bruni | magistraleinformaticaeconomia:mpb:start [19/09/2025 alle 12:52 (75 minuti fa)] (versione attuale) – [Lectures (first half)] Roberto Bruni |
|---|
| ==== Objectives ==== | ==== Objectives ==== |
| |
| The course aims to reconcile abstraction techniques and high-level diagrammatic notations together with modular and structural approaches. The objective is to show the impact of the analysis and verification properties of business processes on the choice of the best suited specification and modelling languages. At the end of the course, the students will gain some familiarity with business process terminology, with different models and languages for the representation of business processes, with different kinds of logical properties that such models can satisfy and with different analysis and verification techniques. The students will also experiment with some tools for the design and analysis of business processes. | The course aims to reconcile abstraction techniques and high-level diagrammatic notations together with modular and structural approaches. The objective is to show the impact of the analysis and verification properties of business processes on the choice of the best suited specification and modelling languages. At the end of the course, the students will gain some familiarity with business process terminology, with different models and languages for the representation of business processes, with different kinds of logical properties that such models can satisfy and with different analysis and verification techniques. The students will also experiment with some tools for the design, synthesis and analysis of business processes. |
| |
| ---- | ---- |
| [[https://www.bizagi.com/platform/modeler|{{:magistraleinformaticaeconomia:mpb:100x_modeler.png?60|}}]] | [[https://www.bizagi.com/platform/modeler|{{:magistraleinformaticaeconomia:mpb:100x_modeler.png?60|}}]] |
| [[http://www.visual-paradigm.com/product/vpuml|{{:magistraleinformaticaeconomia:mpb:vpuml60logo.gif?150|http://www.visual-paradigm.com/product/vpuml}}]] | [[http://www.visual-paradigm.com/product/vpuml|{{:magistraleinformaticaeconomia:mpb:vpuml60logo.gif?150|http://www.visual-paradigm.com/product/vpuml}}]] |
| | [[https://fluxicon.com/disco/|{{:magistraleinformaticaeconomia:mpb:disco.png?60|}}]] |
| |
| * [[http://woped.dhbw-karlsruhe.de/|Woped]]: Workflow Petri Net Designer | * [[http://woped.dhbw-karlsruhe.de/|Woped]]: Workflow Petri Net Designer |
| * [[https://www.visual-paradigm.com/|Visual Paradigm]] supports University of Pisa with [[https://www.visual-paradigm.com/features/uml-and-sysml-tools/|UML tools]] and [[https://www.visual-paradigm.com/features/database-design-with-erd-tools/|ERD tools]] under the [[https://www.visual-paradigm.com/partner/academic/|VP Academic Training Partner Program]] | * [[https://www.visual-paradigm.com/|Visual Paradigm]] supports University of Pisa with [[https://www.visual-paradigm.com/features/uml-and-sysml-tools/|UML tools]] and [[https://www.visual-paradigm.com/features/database-design-with-erd-tools/|ERD tools]] under the [[https://www.visual-paradigm.com/partner/academic/|VP Academic Training Partner Program]] |
| * [[https://online.visual-paradigm.com/diagrams|VP online diagrams]] | * [[https://online.visual-paradigm.com/diagrams|VP online diagrams]] |
| | * [[https://fluxicon.com/disco/|Disco]]: Business Process Mining Tool |
| * [[https://yawlfoundation.github.io/|YAWL]]: Yet Another Workflow Language platform | * [[https://yawlfoundation.github.io/|YAWL]]: Yet Another Workflow Language platform |
| * [[http://bimp.cs.ut.ee/|BIMP]]: Business Process Simulator | * [[http://bimp.cs.ut.ee/|BIMP]]: Business Process Simulator |
| |
| ---- | ---- |
| ==== Announcements ==== | ==== Announcements ==== |
| |
| * Due to a general strike, the lecture of **Friday November 29th 2024 has been canceled**. The missed lecture will be recovered on **Monday 09/12 (11:00-13:00, room M1)** | * **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. |
| * Due to conflicting schedules with other classrooms for the large majority of students, the lecture scheduled on **Tuesday November 5th at 9:00-11:00 in room M1** is canceled. As the Tuesday slot looks not feasible, the three missed lectures will be recovered on **Monday 18/11, 25/11 and 2/12 (11:00-13:00, room M1)**. | |
| * Due to a general strike, the lecture of **Thursday October 31st 2024 will be canceled**. Since **November 1st is national holiday**, the next lecture (after today 25/10 in L1 16:00-18:00) will be held on **Tuesday November 5th at 9:00-11:00 in room M1**. | |
| * The **Lectures of Thursday October 10 and Friday October 11 are canceled** due to UniPi-Orienta activities. They have been rescheduled on **Tuesday November 5 and Tuesday November 12 (9:00-11:00, room M1)** | |
| * The **Lecture of Thursday September 26 is canceled** due to conflicting institutional activities of the teacher | |
| * | |
| * **as the course starts**:\\ Please spend a few minutes to fill the form [[https://forms.office.com/e/EMpfQwWYME|Background Check]] that will be helpful to tune the pace and content of the course. | |
| |
| ---- | ---- |
| ==== Lectures (first half) ==== | ==== Lectures (first half) ==== |
| |
| [[https://teams.microsoft.com/l/team/19%3A52ODJIa4PmQKbWWGTJ7uITYW99Ln39A8YrKklFs1qhk1%40thread.tacv2/conversations?groupId=1d208779-eb01-42a6-912a-cd9af57b62c6&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Microsoft Teams]]: Additional material is available on Teams. | [[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]]: Additional material is available on Teams. |
| |
| ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ | ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ |
| | 1 | 19/09 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:01-introduction-2024.pdf |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 | 20/09 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:02-business-processes-2024.pdf |Lecture 2}} | Introduction to Business Processes:\\ //Taylorism, work units, processes, terminology, organizational structures, process orientation and reengineering, visual notations// | | | | 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// | | |
| | - | 26/09 | 16:00-18:00 | | **Lecture canceled due to conflicting institutional activities** | | | | | 3 | 24/09 | 14:00-16:00 | L1 | Lecture 3 | | | |
| | 3 | 27/09 | 16:00-18:00 | L1 | Exercises\\ {{ :magistraleinformaticaeconomia:mpb:03-examples-2024.pdf |Lecture 3}} | Exercises:\\ //Alice-Bob car selling scenario//\\ \\ Examples:\\ //Orchestration diagrams, collaboration diagrams, choreography diagrams// | | | |
| | 4 | 03/10 | 16:00-18:00 | L1 | Exercises\\ {{ :magistraleinformaticaeconomia:mpb:04-modelling-2024.pdf |Lecture 4}} (1st part) | Examples and Exercises:\\ //Travel agency ochestration, coffe break example, buyers and resellers collaborations//\\ \\ Models and abstraction:\\ //visual modelling, horizontal abstraction, modelling levels, models and instances, a generic process meta-model, aggregation abstraction, granularity levels, functional decomposition, vertical abstraction, separation of concerns, modelling domains, function models, information models, organization models, roles, IT landscape models, process models// | | | |
| | 5 | 04/10 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:04-modelling-2024.pdf |Lecture 4}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:05-lifecycle-2024.pdf |Lecture 5}} | Models and abstraction:\\ //vertical abstraction, separation of concerns, modelling domains, function models, information models, organization models, roles, IT landscape models, process models//\\ \\ Business Processes Lifecyle:\\ //levels of business processes, business strategies, operational goals, organizational BP, operational BP, lifecycle, design and analysis phase, identification, modelling guidelines, validation, simulation, verification, configuration phase, platform selection, software architecture, individual enterprise applications, enterprise resource planning system, siloed enterprise applications, enterprise application integration, point-to-point integration, hub-and-spoke integration, enterprise service computing, system workflows, human interaction workflows, testing, enactment phase, event logs, logging, evaluation phase, activity monitoring, mining, administration phase, stakeholders// | | | |
| | - | 10/10 | 16:00-18:00 | | **Lecture canceled due to UniPi-Orienta activities** | | | | |
| | - | 11/10 | 16:00-18:00 | | **Lecture canceled due to UniPi-Orienta activities** | | | | |
| | 6 | 17/10 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:06-epc-2024.pdf |Lecture 6}} | EPC:\\ //Event-driven Process Chain, events, functions, connectors, EPC diagrams, guidelines, diagram repair, function annotations, EPML, folder-passing semantics, candidate split, corresponding split, matching split, OR-join policies (wait-for-all, first-come, every-time), examples// | [[https://online.visual-paradigm.com/diagrams/features/epc-diagram-tool/|VP]]\\ [[https://ariscommunity.com/aris-express|ARIS Express]]\\ [[http://www.yworks.com/en/products_yed_about.html|yEd]] | | |
| | 7 | 18/10 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:07-bpmn-part1-2024.pdf |Lecture 7 (1st part)}} | BPMN:\\ //Notation, swimlanes, flow objects, artefacts, connecting objects, collaborations// | [[https://online.visual-paradigm.com/diagrams/features/epc-diagram-tool/|VP]]\\ [[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]] | | |
| | 8 | 24/10 | 16:00-18:00 | L1 | Exercises (from Lectures 6 and 7)\\ {{ :magistraleinformaticaeconomia:mpb:07-bpmn-part2-2024.pdf |Lecture 7 (2nd part)}} | Exercises:\\ //EPC and BPMN modelling//\\ \\ BPMN:\\ //data objects, associations, groups, call acrivities, throwing and catching, choreographies// | | | |
| | 9 | 25/10 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:08-nets-intro-2024.pdf |Lecture 8}} | From automata to nets:\\ //Inductive definitions, Kleene star, finite state automata, transition function, destination function, language accepted by an automaton, from automata to Petri nets, places, transitions, tokens// | | | |
| | - | 31/10 | 16:00-18:00 | | **Lecture canceled due to general strike** | | | | |
| | 10 | 07/11 | 16:00-18:00 | L1 | Exercises (from Lectures 7 and 8)\\ {{ :magistraleinformaticaeconomia:mpb:09-petri-2024.pdf |Lecture 9}} (1st part) | Exercises:\\ //BPMN and FSA//\\ \\ Petri nets basics:\\ //multisets and markings, transition enabling and firing, firing sequences, reachable markings//\\ \\ Woped basics | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | |
| | 11 | 08/11 | 16:00-18:00 | L1 | Exercises (from Lecture 9)\\ {{ :magistraleinformaticaeconomia:mpb:09-petri-2024.pdf |Lecture 9}} (2nd part) | Exercises:\\ //Petri nets//\\ \\ Petri nets basics:\\ //occurrence graph, modelling with Petri nets, examples and exercises//\\ \\ Woped basics | | | |
| | 12 | 14/11 | 16:00-18:00 | L1 | Exercises (from Lecture 9)\\ {{ :magistraleinformaticaeconomia:mpb:10-properties-2024.pdf |Lecture 10}} (1st part) | Exercises:\\ //modelling with Petri nets//\\ \\ Behavioural properties:\\ //liveness, non live transitions, dead transitions, place liveness, non live places, dead places// | | | |
| |
| |
| ==== Lectures (second half) ==== | ==== Lectures (second half) ==== |
| |
| [[https://teams.microsoft.com/l/team/19%3A52ODJIa4PmQKbWWGTJ7uITYW99Ln39A8YrKklFs1qhk1%40thread.tacv2/conversations?groupId=1d208779-eb01-42a6-912a-cd9af57b62c6&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Microsoft Teams]]: Additional material is available on Teams. | [[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]]: Additional material is available on Teams. |
| |
| ^ 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 ==== |
