| Entrambe le parti precedenti la revisione
Revisione precedente
Prossima revisione
|
Revisione precedente
|
magistraleinformaticaeconomia:mpb:start [17/11/2022 alle 11:18 (17 mesi fa)]
Roberto Bruni [Lectures (second half)] |
magistraleinformaticaeconomia:mpb:start [14/02/2024 alle 15:40 (2 mesi fa)] (versione attuale)
Roberto Bruni [Exam] |
| {{:magistraleinformaticaeconomia:mpb:hand-drawing-diagram.png?180 | }} | {{:magistraleinformaticaeconomia:mpb:hand-drawing-diagram.png?180 | }} |
| |
| **MPB 2022/23 (295AA / 372AA, 6 cfu)** | **MPB 2023/24 (295AA / 372AA, 6 cfu)** |
| |
| Lecturer: **Roberto Bruni** | Lecturer: **Roberto Bruni** |
| Contact: [[http://www.di.unipi.it/~bruni|web]] - [[mailto:bruni@di.unipi.it|email]] - phone 050 2212785 - fax 050 2212726 | Contact: [[http://www.di.unipi.it/~bruni|web]] - [[mailto:bruni@di.unipi.it|email]] - phone 050 2212785 - fax 050 2212726 |
| |
| Office hours: **Wednesday 14:00-16:00 or by appointment** | Office hours: **Wednesday 16:00-18:00 or by appointment** |
| |
| |
| |
| [[http://woped.dhbw-karlsruhe.de/|{{:magistraleinformaticaeconomia:mpb:woped-icon.png?50|http://woped.dhbw-karlsruhe.de/woped/}}]] | [[http://woped.dhbw-karlsruhe.de/|{{:magistraleinformaticaeconomia:mpb:woped-icon.png?50|http://woped.dhbw-karlsruhe.de/woped/}}]] |
| [[http://www.win.tue.nl/woflan/doku.php|{{:magistraleinformaticaeconomia:mpb:e8adaea8122411aaa79b8afec7c9fb32.media.272x236.jpg?80|http://www.win.tue.nl/woflan/doku.php}}]] | [[https://www.win.tue.nl/woflan/index.html|{{:magistraleinformaticaeconomia:mpb:e8adaea8122411aaa79b8afec7c9fb32.media.272x236.jpg?80|http://www.win.tue.nl/woflan/doku.php}}]] |
| [[https://www.promtools.org/doku.php|{{:magistraleinformaticaeconomia:mpb:tools.png?60}}]] | [[https://promtools.org/|{{:magistraleinformaticaeconomia:mpb:tools.png?60}}]] |
| [[http://www.yworks.com/en/products_yed_about.html|{{:magistraleinformaticaeconomia:mpb:logo.gif?80}}]] | [[http://www.yworks.com/en/products_yed_about.html|{{:magistraleinformaticaeconomia:mpb:logo.gif?80}}]] |
| [[http://bpmn.sourceforge.net/|{{:magistraleinformaticaeconomia:mpb:188072_149141125103453_6888195_q.jpg}}]] | [[http://bpmn.sourceforge.net/|{{:magistraleinformaticaeconomia:mpb:188072_149141125103453_6888195_q.jpg}}]] |
| [[http://bpmn.io/|{{:magistraleinformaticaeconomia:mpb:bpmn.io.logo.png?50|}}]] | [[http://bpmn.io/|{{:magistraleinformaticaeconomia:mpb:bpmn.io.logo.png?50|}}]] |
| [[https://camunda.com/products/camunda-bpm/modeler/|{{:magistraleinformaticaeconomia:mpb:modeler.png?60|}}]] | [[https://camunda.com/platform/modeler/|{{:magistraleinformaticaeconomia:mpb:modeler.png?60|}}]] |
| [[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}}]] |
| |
| * [[http://woped.dhbw-karlsruhe.de/|Woped]]: Workflow Petri Net Designer | * [[http://woped.dhbw-karlsruhe.de/|Woped]]: Workflow Petri Net Designer |
| * [[http://www.win.tue.nl/woflan/doku.php|Woflan]]: a Petri-net-based Workflow Analyzer (Windows only), also available as a [[http://www.processmining.org/prom/start|ProM]] plugin (all platforms) | * [[https://www.win.tue.nl/woflan/index.html|Woflan]]: a Petri-net-based Workflow Analyzer (Windows only), also available as a [[http://www.processmining.org/prom/start|ProM]] plugin (all platforms) |
| * [[https://www.promtools.org/doku.php|ProM]]: Process Mining Framework | * [[https://promtools.org/|ProM]]: Process Mining Framework |
| * [[http://www.yworks.com/en/products_yed_about.html|yEd]]: Graph Editor | * [[http://www.yworks.com/en/products_yed_about.html|yEd]]: Graph Editor |
| * [[http://bpmn.sourceforge.net/|Yaoqiang BPMN Editor]]: BPMN Editor | * [[http://bpmn.sourceforge.net/|Yaoqiang BPMN Editor]]: BPMN Editor |
| * [[http://bpmn.io/|BPMN.io]]: BPMN Editor | * [[http://bpmn.io/|BPMN.io]]: BPMN Editor |
| * [[https://camunda.com/products/camunda-bpm/modeler/|Camunda Modeler]]: BPMN Editor | * [[https://camunda.com/platform/modeler/|Camunda Modeler]]: BPMN Editor |
| * [[https://www.bizagi.com/platform/modeler|Bizagi Process Modeler]]: BPMN editor (Windows only) | * [[https://www.bizagi.com/platform/modeler|Bizagi Process Modeler]]: BPMN editor (Windows only) |
| * [[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]] |
| * **How do we register for the exam?** //As usual, you must enter your choice on the [[https://esami.unipi.it/esami/|ESAMI]] portal.// | * **How do we register for the exam?** //As usual, you must enter your choice on the [[https://esami.unipi.it/esami/|ESAMI]] portal.// |
| * **What are the dates of the exam?** //THE DATES ADVERTISED IN THE ESAMI PORTAL ARE NOT NECESSARILY THOSE OF THE ACTUAL EXAM. After you register for the exam, on the basis of the projects received and any other constraint communicated by each student, the teacher will post a tentative schedule on this web page and will inform you by email or on Teams.// | * **What are the dates of the exam?** //THE DATES ADVERTISED IN THE ESAMI PORTAL ARE NOT NECESSARILY THOSE OF THE ACTUAL EXAM. After you register for the exam, on the basis of the projects received and any other constraint communicated by each student, the teacher will post a tentative schedule on this web page and will inform you by email or on Teams.// |
| * **How is the exam organized?** //The exam is oral and it is organised in two parts: the first part will focus on the project discussion, the second part will involve all topics covered by the course. Due to the current pandemic situation, all exams will take place remotely, via the Microsoft Teams platform.// | * **How is the exam organized?** //The exam is oral and it is organised in two parts: the first part will focus on the project discussion, the second part will involve all topics covered by the course.// |
| * **How is the project discussion organized?** //ALL GROUP MEMBERS MUST BE PRESENT TO THE PROJECT DISCUSSION. All group members must demonstrate they have participated to all the activites of the project. A negative evaluation of the project may require to rework some parts, submit a revised report and schedule a new exam (possibly at the next exam session). A positive evaluation of the project allows each group member to access the second part of the exam.// | * **How is the project discussion organized?** //ALL GROUP MEMBERS MUST BE PRESENT TO THE PROJECT DISCUSSION. All group members must demonstrate they have participated to all the activites of the project. A negative evaluation of the project may require to rework some parts, submit a revised report and schedule a new exam (possibly at the next exam session). A positive evaluation of the project allows each group member to access the second part of the exam.// |
| * **How is the second part of the exam organized?** //DIFFERENT GROUP MEMBERS CAN ASK TO SCHEDULE THE SECOND PART OF THE EXAM ON DIFFERENT DAYS. Questions may involve (but are not limited to): most relevant concepts, definitions, terminology and techniques; their intuitive meaning and formalization; proof sketches of formal statements; small-sized exercises. Arguments marked as optional in the lectures table below can be discussed upon student request.// | * **How is the second part of the exam organized?** //DIFFERENT GROUP MEMBERS CAN ASK TO SCHEDULE THE SECOND PART OF THE EXAM ON DIFFERENT DAYS. Questions may involve (but are not limited to): most relevant concepts, definitions, terminology and techniques; their intuitive meaning and formalization; proof sketches of formal statements; small-sized exercises. Arguments marked as optional in the lectures table below can be discussed upon student request.// |
| ==== Announcements ==== | ==== Announcements ==== |
| |
| * **as the course starts**:\\ Please spend a few minutes to fill the form [[https://forms.office.com/Pages/ResponsePage.aspx?id=MWtFxyCi9Ue-Ukc4KGcKocDq9qB_sSdNvz5-wvGxj7hUQVZIRUROVjQ4TTEwUExVOU9ESFo4VElNTSQlQCN0PWcu|Background Check]] that will be helpful to tune the pace and content of the course. | * **as the course starts**:\\ Please spend a few minutes to fill the form [[https://forms.office.com/e/2S9R0UshEB|Background Check]] that will be helpful to tune the pace and content of the course. |
| | |
| | * **change of schedule**:\\ To avoid conflicts with other classes, lectures are scheduled on **tuesday and thursday** (instead of //wednsday and thursday// as previously announced). Due to a previous commitment, **the lecture of tuesday 19 is canceled**.\\ **The first lecture wil be held on thursday 21**. |
| |
| ---- | ---- |
| ==== Lectures (first half) ==== | ==== Lectures (first half) ==== |
| |
| [[https://teams.microsoft.com/l/team/19%3acZWU62MCCgN-y9QD1uXcldr0-VbqsMhS3C2qUOZ4Uo01%40thread.tacv2/conversations?groupId=a0f6eac0-b17f-4d27-bf3e-7ec2f1b18fb8&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Microsoft Teams]]: Additional material is available on Teams. | [[https://teams.microsoft.com/l/team/19%3aOTUwON_oH9Pu41JjLqGe3e2qaPEM-NCqlnH7KSFqOME1%40thread.tacv2/conversations?groupId=09df2d18-77ef-415f-a6f9-264c67ba05f6&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 | Thu 15/09 | 16:00-18:00 | M1 | {{ :magistraleinformaticaeconomia:mpb:01-introduction-2022.pdf |Lecture 1}} | Course introduction:\\ //course objectives, textbooks, BPM aim and motivation, models and abstraction// | | | | - | 19/09 | 11:00-13:00 | | **canceled** | | | |
| | - | Wed 21/09 | 16:00-18:00 | M1 | **Canceled** | | | | | 1 | 21/09 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:01-introduction-2023.pdf |Lecture 1}} | Course introduction:\\ //course objectives, textbooks, BPM aim and motivation, models and abstraction// | | |
| | - | Thu 22/09 | 16:00-18:00 | M1 | **Canceled** | | | | | 2 | 26/09 | 11:00-13:00 | M1 | {{ :magistraleinformaticaeconomia:mpb:02-business-processes-2023.pdf |Lecture 2}} | Introduction to Business Processes:\\ //Taylorism, work units, processes, terminology, organizational structures, process orientation and reengineering, visual notations// | | |
| | 2 | Wed 28/09 | 16:00-18:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:02-business-processes-2022.pdf |Lecture 2}} | Introduction to Business Processes:\\ //Taylorism, work units, processes, terminology, organizational structures, process orientation and reengineering, visual notations// | | | | 3 | 28/09 | 16:00-18:00 | L1 | Exercises\\ {{ :magistraleinformaticaeconomia:mpb:03-examples-2023.pdf |Lecture 3}} (1st part) | Exercises:\\ //Alice-Bob car selling scenario//\\ \\ Examples:\\ //Orchestration diagrams, collaboration diagrams// | | |
| | 3 | Wed 29/09 | 16:00-18:00 | M1 | Exercises\\ {{ :magistraleinformaticaeconomia:mpb:03-examples-2022.pdf |Lecture 3}} (1st part) | Exercises:\\ //Alice-Bob car selling scenario//\\ \\ Examples:\\ //Orchestration diagrams, collaboration diagrams, choreography diagrams// | | | | 4 | 03/10 | 11:00-13:00 | M1 | Exercises\\ {{ :magistraleinformaticaeconomia:mpb:03-examples-2023.pdf |Lecture 3}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:04-guidelines-2023.pdf |Lecture 4}} (1st part) | Examples and Exercises:\\ //Travel agency ochestration, choreography diagrams//\\ \\ Business Process Guidelines:\\ //levels of business processes, business strategies, operational goals, organizational BP, operational BP, business process definition, design guidelines, functional decomposition// | | |
| | - | Wed 05/10 | 16:00-18:00 | M1 | **Canceled** | | | | | 5 | 05/10 | 16:00-18:00 | L1 | Exercises\\ {{ :magistraleinformaticaeconomia:mpb:04-guidelines-2023.pdf |Lecture 4}} (2nd part) | Exercises:\\ //Buyer-reseller collaboration, vending machine interactions//\\ \\ Business Process Guidelines:\\ //implemented BP, software architectures, separation of concerns, sw architectures, individual enterprise applications, enterprise resource planning system, siloed enterprise applications, enterprise application integration, point-to-point integration, hub-and-spoke integration, workflow definition, enterprise service computing// | | |
| | 4 | Thu 06/10 | 16:00-18:00 | M1 | Exercises\\ {{ :magistraleinformaticaeconomia:mpb:04-models-2022.pdf |Lecture 4}} | Examples and Exercises\\ \\ Business Process Modelling Abstractions:\\ //Separation of concerns, horizontal abstraction, aggregation abstraction, vertical abstraction// | | | | - | 10/10 | 11:00-13:00 | | **canceled** | | | |
| | 5 | Wed 12/10 | 16:00-18:00 | M1 | {{ :magistraleinformaticaeconomia:mpb:05-lifecycle-2022.pdf |Lecture 5}}\\ {{ :magistraleinformaticaeconomia:mpb:06-methodology-2022.pdf |Lecture 6}} | Business Processes Lifecyle:\\ //design and analysis, configuration, enactment, evaluation, administration and stakeholders//\\ \\ Business Process Methodology:\\ //levels of business processes, business strategies, operational goals, organizational BP, operational BP, implemented BP, design guidelines, from business functions to processes, separation of concerns, sw architectures, individual enterprise applications, enterprise resource planning system, siloed enterprise applications, enterprise application integration, message-oriented middleware, enterprise service computing// | | | | 6 | 12/10 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:05-lifecycle-2023.pdf |Lecture 5}}\\ {{ :magistraleinformaticaeconomia:mpb:06-epc-2023.pdf |Lecture 6}} (1st part) | Business Processes Lifecyle:\\ //design and analysis, models and instances, horizontal abstraction, aggregation abstraction, vertical abstraction, separation of concerns, validation, simulation, verification, configuration, testing, enactment, logging, evaluation, monitoring, mining, administration, stakeholders//\\ \\ EPC:\\ //Event-driven Process Chain, events, functions, connectors, EPC diagrams// | [[https://online.visual-paradigm.com/diagrams/features/epc-diagram-tool/|VP]]\\ [[http://www.yworks.com/en/products_yed_about.html|yEd]] | |
| | 6 | Thu 13/10 | 16:00-18:00 | M1 | {{ :magistraleinformaticaeconomia:mpb:07-nets-intro-2022.pdf |Lecture 7}}\\ {{ :magistraleinformaticaeconomia:mpb:08-petri-2022.pdf |Lecture 8}} (1st part) | 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//\\ \\ Petri nets basics:\\ //multisets and markings, transition enabling and firing// | | | | 7 | 17/10 | 11:00-13:00 | M1 | {{ :magistraleinformaticaeconomia:mpb:06-epc-2023.pdf |Lecture 6}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:07-bpmn-2023.pdf |Lecture 7}} (1st part) | EPC:\\ //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//\\ \\ BPMN:\\ //Notation, swimlanes// | [[https://online.visual-paradigm.com/diagrams/features/epc-diagram-tool/|VP]]\\ [[http://www.yworks.com/en/products_yed_about.html|yEd]] | |
| | 7 | Mon 17/10 | 16:00-18:00 | M1 | Exercises (from Lecture 7)\\ Lecture 8 (2nd part) | Petri nets basics:\\ //firing sequences, reachable markings, occurrence graph, modelling with Petri nets, examples//\\ \\ Woped basics | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | | 8 | 19/10 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:07-bpmn-2023.pdf |Lecture 7}} (2nd part) | BPMN:\\ //flow objects, artefacts, connecting objects, collaborations, choreographies// | [[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]] | |
| | 8 | Wed 19/10 | 16:00-18:00 | M1 | Exercises (from Lecture 8)\\ \\ {{ :magistraleinformaticaeconomia:mpb:09-properties-2022.pdf |Lecture 9}} (1st part) | Petri nets basics:\\ //modelling with Petri nets, examples and exercises//\\ \\ Woped basics\\ \\ Behavioural properties:\\ //liveness, non live transitions, dead transitions// | | | | 9 | 24/10 | 11:00-13:00 | M1 | Exercises (from Lectures 6 and 7)\\ {{ :magistraleinformaticaeconomia:mpb:08-nets-intro-2023.pdf |Lecture 8}} (1st part) | Exercises:\\ //EPC and BPMN modelling//\\ \\ From automata to nets:\\ //Inductive definitions, Kleene star, finite state automata, transition function, destination function, language accepted by an automaton// | | |
| | 9 | Thu 20/10 | 16:00-18:00 | M1 | Lecture 9 (2nd part) | Behavioural properties:\\ //place liveness, non live places, dead places, deadlock freedom, boundedness, safeness, cyclicity//\\ \\ Structural properties:\\ //weak and strong connectedness, S-systems, T-systems, free-choice nets// | | | | 10 | 26/10 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:08-nets-intro-2023.pdf |Lecture 8}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:09-petri-2023.pdf |Lecture 9}} (1st part) | From automata to nets:\\ //from automata to Petri nets, places, transitions, tokens//\\ \\ Petri nets basics:\\ //multisets and markings, transition enabling and firing, firing sequences, reachable markings//\\ \\ Woped basics | [[http://woped.dhbw-karlsruhe.de/|Woped]] | |
| | 10 | Wed 26/10 | 16:00-18:00 | M1 | Exercises (from Lecture 9)\\ {{ :magistraleinformaticaeconomia:mpb:10-net-matrices-2022.pdf |Lecture 10}} (1st part) | Nets as matrices:\\ //markings as vectors, incidence matrices, Parikh vectors, marking equation lemma, monotonicity lemma (1, 2 and corollary)// | | | | 11 | 31/10 | 11:00-13:00 | M1 | Exercises (from Lectures 8 and 9)\\ {{ :magistraleinformaticaeconomia:mpb:09-petri-2023.pdf |Lecture 9}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:10-properties-2023.pdf |Lecture 10}} (1st part) | Exercises:\\ //automata and Petri nets//\\ \\ Petri nets basics:\\ //occurrence graph, modelling with Petri nets, examples and exercises//\\ \\ Woped basics\\ \\ Behavioural properties:\\ //liveness, non live transitions, dead transitions// | | |
| | 11 | Thu 27/10 | 16:00-18:00 | M1 | Lecture 10 (2nd part)\\ Exercises (from Lecture 10)\\ {{ :magistraleinformaticaeconomia:mpb:11-invariants-2022.pdf |Lecture 11}} (1st part) | Nets as matrices:\\ //boundedness lemma, repetition lemma//\\ \\ Invariants:\\ //S-invariants, fundamental property of S-invariants, alternative characterization of S-invariant, support, positive S-invariants, about boundedness and liveness// | | | | 12 | 02/11 | 16:00-18:00 | L1 | Exercises (from Lecture 10)\\ {{ :magistraleinformaticaeconomia:mpb:10-properties-2023.pdf |Lecture 10}} (2nd part) | Exercises:\\ //modelling with Petri nets//\\ \\ Behavioural properties:\\ //place liveness, non live places, dead places, deadlock freedom, boundedness, safeness// | | |
| | 12 | Wed 02/11 | 16:00-18:00 | M1 | Lecture 11 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:13-workflow-nets-2022.pdf |Lecture 13}} (1st part) | Invariants:\\ //S-invariants and reachability, T-invariants, fundamental property of T-invariants, alternative characterization of T-invariants, reproduction lemma, about liveness and boundedness//\\ \\ Workflow nets:\\ //definition, syntax sugar, subprocesses, control flow aspects// | | | |
| |
| |
| ==== Lectures (second half) ==== | ==== Lectures (second half) ==== |
| |
| [[https://teams.microsoft.com/l/team/19%3acZWU62MCCgN-y9QD1uXcldr0-VbqsMhS3C2qUOZ4Uo01%40thread.tacv2/conversations?groupId=a0f6eac0-b17f-4d27-bf3e-7ec2f1b18fb8&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Microsoft Teams]]: Additional material is available on Teams. | [[https://teams.microsoft.com/l/team/19%3aOTUwON_oH9Pu41JjLqGe3e2qaPEM-NCqlnH7KSFqOME1%40thread.tacv2/conversations?groupId=09df2d18-77ef-415f-a6f9-264c67ba05f6&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 | Thu 03/11 | 16:00-18:00 | M1 | Exercises (from Lecture 11)\\ Exercises (from Lecture 13)\\ Lecture 13 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:14-wfnets-analysis-2022.pdf |Lecture 14}} (1st part) | Workflow nets:\\ //triggers//\\ \\ Analysis of workflow nets:\\ //structural analysis, activity analysis, token analysis, net analysis, verification and validation, reachability analysis, coverability graph, soundness, N*// | | | | 13 | 07/11 | 11:00-13:00 | M1 | Exercises (from Lecture 10)\\ {{ :magistraleinformaticaeconomia:mpb:10-properties-2023.pdf |Lecture 10}} (3rd part)\\ {{ :magistraleinformaticaeconomia:mpb:11-net-matrices-2023.pdf |Lecture 11}} (1st part) | Exercises:\\ //behavioural properties//\\ \\ Behavioural properties:\\ //home marking, cyclicity//\\ \\ Structural properties:\\ //weak and strong connectedness, S-systems, T-systems, free-choice nets//\\ \\ Nets as matrices:\\ //markings as vectors, incidence matrices// | | |
| | 14 | Mon 07/11 | 16:00-18:00 | M1 | {{ :magistraleinformaticaeconomia:mpb:12-facts-2022.pdf |Lecture 12}}\\ Lecture 14 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:15-wfnets-construction-2022.pdf |Lecture 15}}\\ Exercises (from Lecture 15) | On strong connectedness:\\ //connectedness theorems//\\ \\ Analysis of workflow nets:\\ //strong connectedness of N*, main soundness theorem//\\ \\ Safe Workflow nets:\\ //soundness (and safeness) by construction// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | | 14 | 09/11 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:11-net-matrices-2023.pdf |Lecture 11}} (2nd part)\\ Exercises (from Lectures 10 and 11)\\ {{ :magistraleinformaticaeconomia:mpb:12-invariants-2023.pdf |Lecture 12}} (1st part) | Nets as matrices:\\ //Parikh vectors, marking equation lemma, monotonicity lemma (1, 2 and corollary), boundedness lemma, repetition lemma//\\ \\ Exercises:\\ //structural properties, net as matrices//\\ \\ Invariants:\\ //S-invariants, fundamental property of S-invariants, alternative characterization of S-invariant// | | |
| | 15 | Wed 09/11 | 16:00-18:00 | M1 | Exercises (form Lecture 14)\\ {{ :magistraleinformaticaeconomia:mpb:16-s-systems-2022.pdf |Lecture 16}}\\ Exercises (from Lecture 16)\\ {{ :magistraleinformaticaeconomia:mpb:17-t-systems-short-2022.pdf |Lecture 17}}\\ Exercises (from Lecture 17) | 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// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | | 15 | 14/11 | 11:00-13:00 | M1 | {{ :magistraleinformaticaeconomia:mpb:12-invariants-2023.pdf |Lecture 12}} (2nd part)\\ Exercises (from Lecture 12)\\ {{ :magistraleinformaticaeconomia:mpb:13-workflow-nets-2023.pdf |Lecture 13}} (1st part) | Invariants:\\ //support, positive S-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// | | |
| | 16 | Thu 10/11 | 16:00-18:00 | M1 | {{ :magistraleinformaticaeconomia:mpb:18-free-choice-short-2022.pdf |Lecture 18}}\\ {{ :magistraleinformaticaeconomia:mpb:18c-p-np-short-2022.pdf |A note on P and NP}} (optional reading) | Free-choice nets:\\ //Fundamental property of free-choice nets, clusters, stable sets, siphons, proper siphons, fundamental property of siphons, siphons and liveness, Rank theorem, traps, place-liveness = liveness in f.c. nets, Commoner's theorem and its complexity issues, Rank theorem and its complexity issues, sound f.c wf nets are safe//\\ \\ Decision problems and computational complexity (optional reading) | | | | 16 | 16/11 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:13-workflow-nets-2023.pdf |Lecture 13}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:14-wfnets-analysis-2023.pdf |Lecture 14}} (1st part) | Workflow nets:\\ //control flow aspects, 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 | Wed 16/11 | 16:00-18:00 | M1 | Exercises (from Lecture 18)\\ {{ :magistraleinformaticaeconomia:mpb:19-wfnets-diagnosis-short-2022.pdf |Lecture 19}}\\ {{ :magistraleinformaticaeconomia:mpb:20-workflow-systems-2022.pdf |Lecture 20}} | Diagnosis of Workflow nets:\\ //Woped, S-components, S-cover, TP-handles, PT-handles, well-handled nets, well-structured wf nets, Woflan, ProM, error sequences, non-live sequences, unbounded sequences//\\ \\ Workflow systems:\\ //I/O interfaces, workflow modules, stuctural compatibility, workflow system, weak soundness// | [[http://woped.dhbw-karlsruhe.de/|Woped]]\\ [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]] | | | 17 | 21/11 | 11:00-13:00 | M1 | Exercises (from Lectures 13 and 14)\\ {{ :magistraleinformaticaeconomia:mpb:14-wfnets-analysis-2023.pdf |Lecture 14}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:15-wfnets-construction-2023.pdf |Lecture 15}}\\ {{ :magistraleinformaticaeconomia:mpb:16-s-systems-2023.pdf |Lecture 16}} | Exercises:\\ //workflow nets and soundeness//\\ \\ Analysis of workflow nets:\\ //strong connectedness of N*, main soundness theorem//\\ \\ Safe Workflow nets:\\ //soundness (and safeness) by construction//\\ \\ S-systems:\\ //fundamental property of S-systems, S-invariants of S-nets, liveness theorem, reachability lemma, reachability theorem, boundedness theorem, workflow S-nets// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | |
| | 18 | Thu 17/11 | 16:00-18:00 | M1 | Exercises (from Lecture 19)\\ Exercises (from Lecture 20)\\ {{ :magistraleinformaticaeconomia:mpb:21-epc-new-2022.pdf |Lecture 21}} (1st part) | EPC:\\ //Events, functions, connectors, EPC diagrams, guidelines, soundness analysis, from EPC to wf nets, net fragments, dummy style, fusion style, unique start, unique end, three transformations, semantics ambiguities, relaxed sound nets (optional), relaxed sound EPC diagrams (optional), from restricted EPC diagrams to f.c. nets, problems with (X)OR joins, candidate split, corresponding split, matching split, OR join policies (wfa, fc, et), from decorated EPC diagrams to nets// | [[http://woped.dhbw-karlsruhe.de/|Woped]]\\ [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]]\\ [[https://online.visual-paradigm.com/diagrams/features/epc-diagram-tool/|VP]]\\ [[http://www.yworks.com/en/products_yed_about.html|yEd]] | | | 18 | 23/11 | 16:00-18:00 | L1 | Exercises (from Lectures 15 and 16)\\ {{ :magistraleinformaticaeconomia:mpb:17-t-systems-short-2023.pdf |Lecture 17}}\\ {{ :magistraleinformaticaeconomia:mpb:18-aux-p-np-short-2023.pdf |A note on P and NP}} (optional reading)\\ {{ :magistraleinformaticaeconomia:mpb:18-free-choice-new-2023.pdf |Lecture 18}} (1st part) | 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)\\ \\ 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//\\ \\ Exercises:\\ //soundness by construction, S-nets properties, T-nets properties// | | |
| | 19 | Wed 23/11 | 16:00-18:00 | M1 | Lecture 21 (2nd part)\\ Exercises (from Lecture 21) | | | | | 19 | 28/11 | 11:00-13:00 | M1 | Exercises (from Lectures 14 and 18)\\ {{ :magistraleinformaticaeconomia:mpb:18-free-choice-new-2023.pdf |Lecture 18}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:20-epc-analysis-2023.pdf |Lecture 20}} (1st part) | Free-choice nets:\\ //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, semantics ambiguities, relaxed sound nets, relaxed sound EPC diagrams//\\ \\ Exercises:\\ //workflow net analysis with Woped, properties of free-choice nets, workflow systems// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | |
| | 20 | Thu 24/11 | 16:00-18:00 | M1 | Lecture 22 | BPMN:\\ //Notation, swimlanes, flow objects, artefacts, connecting objects, collaborations, choreographies, from BPMN to nets// | [[http://bpmn.sourceforge.net/|Yaoqiang]]\\ [[http://bpmn.io/|BPMN.io]]\\ [[http://www.intalio.com/products/bpms/overview/|BPMS]]\\ [[http://www.bizagi.com/index.php/en/products/bizagi-process-modeler|Bizagi]]\\ [[https://online.visual-paradigm.com/diagrams|VP]]\\ [[http://www.processmining.org/prom/start|ProM]] | | | 20 | 30/11 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:20-epc-analysis-2023.pdf |Lecture 20}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:19-workflow-systems-2023.pdf |Lecture 19}}\\ {{ :magistraleinformaticaeconomia:mpb:21-bpmn-analysis-2023.pdf |Lecture 21}} (1st part) | EPC:\\ //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//\\ \\ BPMN:\\ //from BPMN diagrams to nets// | [[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 | Mon 28/11 | 16:00-18:00 | M1 | | | | | | 21 | 05/12 | 11:00-13:00 | M1 | Exercises (from Lectures 18, 19, 20)\\ {{ :magistraleinformaticaeconomia:mpb:21-bpmn-analysis-2023.pdf |Lecture 21}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:22-wfnets-diagnosis-short-2023.pdf |Lecture 22}} (1st part) | Exercises:\\ //free-choice nets, workflow systems, EPC analysis//\\ \\ BPMN:\\ //from BPMN collaboration 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// | [[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]] | |
| | 22 | Wed 30/11 | 16:00-18:00 | M1 | | | | | | 22 | 07/12 | 16:00-18:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:22-wfnets-diagnosis-short-2023.pdf |Lecture 22}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:23-mining-new-2023.pdf |Lecture 23}} (1st part) | Diagnosis of Workflow nets:\\ //Woflan, ProM, error sequences, non-live sequences, unbounded sequences//\\ \\ Process mining:\\ //intro, Event logs, discovery, conformance, enhancement, perspectives, play-in, play-out, replay, overfitting, underfitting, alpha-algorithm, footprint matrix, naive fitness, improved fitness// | [[http://woped.dhbw-karlsruhe.de/|Woped]]\\ [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]] | |
| | 23 | Thu 01/12 | 16:00-18:00 | M1 | Exercises (from Lecture 22)\\ Lecture 23\\ Exercises (from Lecture 23)\\ A final note (with project instructions) | Quantitative analysis:\\ //Performance dimensions and objectives, KPI, cyle time analysis, Little's law, cost analysis// | [[http://www.processmining.org/prom/start|ProM]] | | | 23 | 12/12 | 11:00-13:00 | M1 | {{ :magistraleinformaticaeconomia:mpb:23-mining-new-2023.pdf |Lecture 23}} (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:24-quantitative-analysis-2023.pdf |Lecture 24}} | Exercises:\\ //workflow nets analysis//\\ \\ Process mining:\\ //comparing footprints//\\ \\ Quantitative analysis:\\ //Performance dimensions and objectives, KPI, cyle time analysis, Little's law, cost analysis//\\ \\ A final note (with project instructions) | | |
| | | 24 | 14/12 | 16:00-18:00 | Teacher's office | Questions and answers | | | |
| | end | | | | | | | | | end | | | | | | | |
| |
| ==== Past courses ==== | ==== Past courses ==== |
| |
| | * [[magistraleinformaticaeconomia:mpb:2022-23:|A.A. 2022/23]] |
| * [[magistraleinformaticaeconomia:mpb:2021-22:|A.A. 2021/22]] | * [[magistraleinformaticaeconomia:mpb:2021-22:|A.A. 2021/22]] |
| * [[magistraleinformaticaeconomia:mpb:2020-21:|A.A. 2020/21]] | * [[magistraleinformaticaeconomia:mpb:2020-21:|A.A. 2020/21]] |
