| Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente |
| magistraleinformaticaeconomia:mpb:start [29/09/2021 alle 09:45 (4 anni fa)] – [Lectures (first half)] Roberto Bruni | magistraleinformaticaeconomia:mpb:start [12/12/2024 alle 14:01 (7 mesi fa)] (versione attuale) – [Lectures (second half)] Roberto Bruni |
|---|
| <html> | |
| <!-- Google Analytics --> | |
| <script type="text/javascript" charset="utf-8"> | |
| (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ | |
| (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), | |
| m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) | |
| })(window,document,'script','//www.google-analytics.com/analytics.js','ga'); | |
| |
| ga('create', 'UA-34685760-1', 'auto', 'personalTracker', {'allowLinker': true}); | |
| ga('personalTracker.require', 'linker'); | |
| ga('personalTracker.linker:autoLink', ['pages.di.unipi.it', 'enforce.di.unipi.it', 'didawiki.di.unipi.it'] ); | |
| | |
| ga('personalTracker.require', 'displayfeatures'); | |
| ga('personalTracker.send', 'pageview', 'ruggieri/teaching/bpm/'); | |
| setTimeout("ga('send','event','adjusted bounce rate','30 seconds')",30000); | |
| </script> | |
| <!-- End Google Analytics --> | |
| <!-- Global site tag (gtag.js) - Google Analytics --> | |
| <script async src="https://www.googletagmanager.com/gtag/js?id=G-LPWY0VLB5W"></script> | |
| <script> | |
| window.dataLayer = window.dataLayer || []; | |
| function gtag(){dataLayer.push(arguments);} | |
| gtag('js', new Date()); | |
| |
| gtag('config', 'G-LPWY0VLB5W'); | |
| </script> | |
| <!-- Capture clicks --> | |
| <script> | |
| jQuery(document).ready(function(){ | |
| jQuery('a[href$=".pdf"]').click(function() { | |
| var fname = this.href.split('/').pop(); | |
| ga('personalTracker.send', 'event', 'BPM', 'PDFs', fname); | |
| }); | |
| jQuery('a[href$=".r"]').click(function() { | |
| var fname = this.href.split('/').pop(); | |
| ga('personalTracker.send', 'event', 'BPM', 'Rs', fname); | |
| }); | |
| jQuery('a[href$=".zip"]').click(function() { | |
| var fname = this.href.split('/').pop(); | |
| ga('personalTracker.send', 'event', 'BPM', 'ZIPs', fname); | |
| }); | |
| jQuery('a[href$=".mp4"]').click(function() { | |
| var fname = this.href.split('/').pop(); | |
| ga('personalTracker.send', 'event', 'BPM', 'Videos', fname); | |
| }); | |
| jQuery('a[href$=".flv"]').click(function() { | |
| var fname = this.href.split('/').pop(); | |
| ga('personalTracker.send', 'event', 'BPM', 'Videos', fname); | |
| }); | |
| }); | |
| </script> | |
| </html> | |
| ====== Business Processes Modeling ====== | ====== Business Processes Modeling ====== |
| |
| {{:magistraleinformaticaeconomia:mpb:hand-drawing-diagram.png?180 | }} | {{:magistraleinformaticaeconomia:mpb:hand-drawing-diagram.png?180 | }} |
| |
| **MPB 2021/22 (295AA / 372AA, 6 cfu)** | **MPB 2024/25 (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}}]] |
| [[http://www.processmining.org/prom/start|{{: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}}]] |
| | [[https://ariscommunity.com/aris-express|{{:magistraleinformaticaeconomia:mpb:aoc-logo.png?40|}}]] |
| [[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) |
| * [[http://www.processmining.org/prom/start|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 |
| | * [[https://ariscommunity.com/aris-express|ARIS Express]]: Flowchart 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]] |
| ---- | ---- |
| |
| ==== Oral Exams: schedule ==== | |
| |
| ^ Date ^^ Time ^ Name ^ Place ^ | |
| | **//day//** | **//date//** | //time// | session start | Microsoft Teams | | |
| | | **//date//** | | //name// | Project: //Pending/Approved// | | |
| | | | //time// | session end | | | |
| |
| -- | |
| |
| |
| * **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-Ukc4KGcKoaIp00F3tFROvaR9GeCNcHhUQlRWVDk4WVQxTFcwMFpJSUNZVjNRRUpBSCQlQCN0PWcu|Background Check]] that will be helpful to tune the pace and content of the course. | * 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)** |
| | * 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%3ad57NtDs_DLS6tp-qMKF90Gp1hy23GMwD1-ZqQ2k9D981%40thread.tacv2/conversations?groupId=41d329a2-b477-4e54-bda4-7d19e08d7078&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Virtual classroom]]: To join a lecture enter the virtual classroom, go to the Calendar tab and click on the scheduled lecture. | [[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. |
| |
| ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ | ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ |
| | 1 | Wed 15/09 | 16:00-18:00 | C1 - Teams | {{ :magistraleinformaticaeconomia:mpb:01-introduction-2021.pdf |Lecture 1}} | Course introduction:\\ //course objectives, textbooks, BPM aim and motivation, models and abstraction// | | | | 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// | | |
| | 2 | Thu 16/09 | 16:00-18:00 | M1 - Teams | {{ :magistraleinformaticaeconomia:mpb:02-business-processes-2021.pdf |Lecture 2}} | Introduction to Business Processes:\\ //Taylorism, work units, processes, terminology, organizational structures, process orientation and reengineering, visual notations// | | | | 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// | | |
| | 3 | Wed 22/09 | 16:00-18:00 | C1 - Teams | Exercises\\ {{ :magistraleinformaticaeconomia:mpb:03-examples-2021.pdf |Lecture 3}} (1st part) | Exercises:\\ //Alice-Bob car selling scenario//\\ \\ Examples:\\ //Orchestration diagrams// | | | | - | 26/09 | 16:00-18:00 | | **Lecture canceled due to conflicting institutional activities** | | | |
| | 4 | Thu 23/09 | 16:00-18:00 | M1 - Teams | Exercises\\ Lecture 3 (2nd part) | Examples and Exercises\\ \\ Examples:\\ //Collaboration diagrams, choreography diagrams// | | | | 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// | | |
| | 5 | Wed 22/09 | 16:00-18:00 | C1 - Teams | {{ :magistraleinformaticaeconomia:mpb:04-models-2021.pdf |Lecture 4}}\\ {{ :magistraleinformaticaeconomia:mpb:05-lifecycle-2021.pdf |Lecture 5}} | Business Process Modelling Abstractions:\\ //Separation of concerns, horizontal abstraction, aggregation abstraction, vertical abstraction//\\ \\ Business Processes Lifecyle:\\ //design and analysis, configuration, enactment, evaluation, administration and stakeholders// | | | 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// | | |
| | 6 | Thu 23/09 | 16:00-18:00 | M1 - Teams | {{ :magistraleinformaticaeconomia:mpb:06-methodology-2021.pdf |Lecture 6}} | 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// | | | | 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// | | |
| | - | | | | | Contents under restructuring | | | | - | 10/10 | 16:00-18:00 | | **Lecture canceled due to UniPi-Orienta activities** | | | |
| | 9 | | | Teams | Lecture 7 (1st part) | Mathematical background:\\ //Sets, functions, relations, predicate logic, induction, recursion//\\ \\ Introduction to Petri nets:\\ //finite state automata// | | | | - | 11/10 | 16:00-18:00 | | **Lecture canceled due to UniPi-Orienta activities** | | | |
| | 10 | | | Teams | Exercises (from Lecture 7)\\ Lecture 7 (2nd part)\\ Lecture 8 (1st part) | Introduction to Petri nets:\\ //from automata to Petri nets//\\ \\ More concepts about Petri nets:\\ //multisets and markings// | | | | 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]] | |
| | 11 | | | Teams | Woped basics\\ Lecture 8 (2nd part) | More concepts about Petri nets:\\ //multisets and markings,\\ transition enabling and firing, firing sequences,\\ reachable markings, occurrence graph// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | | 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]] | |
| | 12 | | | Teams | Exercises (from Lecture 8) | Modelling with Petri nets:\\ //Examples and Exercises// | | | | 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// | | |
| | 13 | | | Teams | Exercises (from Lecture 8)\\ Lecture 9 (1st part) | Modelling with Petri nets:\\ //Examples and Exercises//\\ \\ Behavioural properties:\\ //liveness// | | | | 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// | | |
| | 14 | | | Teams | Lecture 9 (2nd part)\\ Exercises (from Lecture 9) | Behavioural properties:\\ //dead transitions, place liveness, dead places// | | | | - | 31/10 | 16:00-18:00 | | **Lecture canceled due to general strike** | | | |
| | 15 | | | Teams | Exercises (from Lecture 9)\\ Lecture 9 (3rd part) | Behavioural properties:\\ //deadlock freedom, boundedness, safeness, cyclicity//\\ \\ Structural properties:\\ //weak and strong connectedness,\\ S-systems, T-systems, free-choice nets// | | | | 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]] | |
| | 16 | | | Teams | Exercises (from Lecture 9)\\ Lecture 10 (1st part) | Nets as matrices:\\ //markings as vectors// | | | | 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 | | |
| | 17 | | | Teams | Lecture 10 (2nd part) | Nets as matrices:\\ //incidence matrices, Parikh vectors,\\ marking equation lemma, monotonicity lemma,\\ boundedness lemma, repetition lemma// | | | | 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%3ad57NtDs_DLS6tp-qMKF90Gp1hy23GMwD1-ZqQ2k9D981%40thread.tacv2/conversations?groupId=41d329a2-b477-4e54-bda4-7d19e08d7078&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Virtual classroom]]: To join a lecture enter the virtual classroom, go to the Calendar tab and click on the scheduled lecture. | [[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. |
| |
| ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ | ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ |
| | 18 | | | Teams | Exercises (from Lecture 10)\\ Lecture 11 (1st part) | Invariants:\\ //S-invariants, fundamental property of S-invariants,\\ alternative characterization of S-invariant,\\ support, positive S-invariants,\\ about boundedness, reachability and liveness// | | | | 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// | | |
| | 19 | | | Teams | Lecture 11 (2nd part)\\ Exercises (from Lecture 11)\\ Lecture 12 | Invariants:\\ //T-invariants, fundamental property of T-invariants,\\ alternative characterization of T-invariants,\\ reproduction lemma,\\ about liveness and boundedness//\\ \\ On strong connectedness:\\ //connectedness theorems// | | | | 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// | | |
| | 20 | | | Teams | Lecture 13\\ Exercises (from Lecture 13)\\ Lecture 14 (1st part) | Workflow nets:\\ //definition, syntax sugar, subprocesses,\\ control flow aspects, triggers//\\ \\ Analysis of workflow nets:\\ //structural analysis, activity analysis,\\ token analysis, net analysis, verification and validation,\\ reachability analysis, coverability graph// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | | 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// | | |
| | 21 | | | Teams | Lecture 14 (2nd part)\\ Exercises (from Lecture 14)\\ Lecture 15\\ Lecture 16 (1st part) | Analysis of workflow nets:\\ //soundness, N*, 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// | | | | 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]] | |
| | 22 | | | Teams | More Exercises (from Lecture 14)\\ Exercises (from Lecture 15)\\ Lecture 16 (2nd part)\\ Lecture 17\\ Lecture 18 (1st part) | S-systems:\\ //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//\\ \\ Free-choice nets:\\ //Fundamental property of free-choice nets\\ clusters, stable sets, siphons, proper siphons,\\ fundamental property of siphons,\\ siphons and liveness, Rank theorem// | | | | 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]] | |
| | 23 | | | Teams | Exercises (from Lecture 16)\\ Exercises (from Lecture 17)\\ Exercises (from Lecture 18)\\ A note on P and NP (optional reading)\\ Lecture 18 (2nd part)\\ Lecture 19 | Decision problems and computational complexity (optional reading)\\ \\ Free-choice nets:\\ //traps (optional reading),\\ place-liveness = liveness in f.c. nets (optional reading),\\ Commoner's theorem and its complexity issues,\\ Rank theorem and its complexity issues,\\ sound f.c wf nets are safe//\\ \\ Diagnosis of Workflow nets:\\ //Woped, S-components, S-cover,\\ T-cover (optional reading),\\ TP-handles, PT-handles,\\ well-handled nets, well-structured wf nets,\\ Woflan, ProM, error sequences,\\ non-live sequences, unbounded sequences// | [[http://woped.dhbw-karlsruhe.de/|Woped]]\\ [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]] | | | 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// | | |
| | 24 | | | Teams | Exercises (from Lecture 19)\\ Lecture 20\\ Lecture 21 | Workflow systems:\\ //I/O interfaces, workflow modules,\\ stuctural compatibility, workflow system,\\ weak soundness//\\ \\ 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// | [[https://online.visual-paradigm.com/diagrams/features/epc-diagram-tool/|VP]]\\ [[http://www.yworks.com/en/products_yed_about.html|yEd]] | | | 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]] | |
| | 25 | | | Teams | Exercises (from Lecture 20)\\ Exercises (from Lecture 21)\\ Lecture 22\\ Exercises (from Lecture 22)\\ A final note (with project instructions) | 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 | 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 | | | | | | | | | end | | | | | | | |
| |
| ==== Past courses ==== | ==== Past courses ==== |
| |
| | * [[magistraleinformaticaeconomia:mpb:2023-24:|A.A. 2023/24]] |
| | * [[magistraleinformaticaeconomia:mpb:2022-23:|A.A. 2022/23]] |
| | * [[magistraleinformaticaeconomia:mpb:2021-22:|A.A. 2021/22]] |
| * [[magistraleinformaticaeconomia:mpb:2020-21:|A.A. 2020/21]] | * [[magistraleinformaticaeconomia:mpb:2020-21:|A.A. 2020/21]] |
| * [[magistraleinformaticaeconomia:mpb:2019-20:|A.A. 2019/20]] | * [[magistraleinformaticaeconomia:mpb:2019-20:|A.A. 2019/20]] |
