Strumenti Utente

Strumenti Sito


magistraleinformaticaeconomia:mpb:start

Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

Link a questa pagina di confronto

Entrambe le parti precedenti la revisione Revisione precedente
Prossima revisione
Revisione precedente
magistraleinformaticaeconomia:mpb:start [19/02/2021 alle 16:54 (3 anni fa)]
Roberto Bruni [Oral Exams: schedule]
magistraleinformaticaeconomia:mpb:start [14/02/2024 alle 15:40 (6 settimane fa)] (versione attuale)
Roberto Bruni [Exam]
Linea 12: Linea 12:
      
 ga('personalTracker.require', 'displayfeatures'); ga('personalTracker.require', 'displayfeatures');
-ga('personalTracker.send', 'pageview', 'ruggieri/teaching/bpm/');+ga('personalTracker.send', 'pageview', 'courses/bpm/');
 setTimeout("ga('send','event','adjusted bounce rate','30 seconds')",30000);  setTimeout("ga('send','event','adjusted bounce rate','30 seconds')",30000); 
 </script> </script>
 <!-- End Google Analytics --> <!-- 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 --> <!-- Capture clicks -->
 <script> <script>
Linea 46: Linea 55:
 {{:magistraleinformaticaeconomia:mpb:hand-drawing-diagram.png?180 | }} {{:magistraleinformaticaeconomia:mpb:hand-drawing-diagram.png?180 | }}
  
-**MPB 2020/21 (295AA / 372AA, 6 cfu)**+**MPB 2023/24 (295AA / 372AA, 6 cfu)**
  
 Lecturer: **Roberto Bruni** Lecturer: **Roberto Bruni**
Linea 52: Linea 61:
 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**
  
  
Linea 65: Linea 74:
 ==== Course Overview ==== ==== Course Overview ====
  
-Business process management. Evolution of Enterprise Systems Architectures. Conceptual models and abstraction mechanisms. Petri nets: invariants, S-systems, T-systems, Free-choice systems and their properties. Workflow nets and workflow modules. Workflow patterns. Event-driven Process Chains (EPC). Business Process Modelling Notation (BPMN).  +Business process management. Evolution of Enterprise Systems Architectures. Conceptual models and abstraction mechanisms. Petri nets: invariants, S-systems, T-systems, Free-choice systems and their properties. Workflow nets and workflow modules. Workflow patterns. Event-driven Process Chains (EPC). Business Process Modelling Notation (BPMN)Process performance analysis. Process simulation. Process Mining.
- +
-Due to time constraints the following topics were just mentioned: Process performance analysis. Process simulation. Process Mining.+
  
 ---- ----
Linea 100: Linea 107:
  
 [[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}}]]
 [[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
   * [[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]]
   * [[https://online.visual-paradigm.com/diagrams|VP online diagrams]]   * [[https://online.visual-paradigm.com/diagrams|VP online diagrams]]
- 
-More tools, not discussed in the course: 
- 
   * [[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 
Linea 130: Linea 134:
  
 ^ Date ^^ Time ^ Name ^ Place ^ ^ Date ^^ Time ^ Name ^ Place ^
-| **Thursday** | **18/02/21** | 9:00 | session start | [[https://teams.microsoft.com/l/meetup-join/19%3aaf85f87d0c6542c0a8f54b23a1422c21%40thread.tacv2/1613174290199?context=%7b%22Tid%22%3a%22c7456b31-a220-47f5-be52-473828670aa1%22%2c%22Oid%22%3a%225dbef49a-16b4-4863-9a6c-9e378eb9813c%22%7d|Microsoft Teams]] | +| **//day//** | **//date//** | //time// | session start | Microsoft Teams | 
-|  | **18/02/21** |  | Bonin + Recordare | Project: Approved | +|  | **//date//** |  | //name// | Project: //Pending/Approved//
-|  | **18/02/21** |  | Colosimo + Lo Dico | Project: Approved | +|  |  | //time// | session end |  |
-|  | **18/02/21** |  | Cordeiro | Project: Approved | +
-|  | **18/02/21** |  | Jobe + Sauca | Project: Approved | +
-|  |  | 13:00 | session end |  | +
-|  | **18/02/21** | 15:00 | session start |  | +
-|  | **18/02/21** |  | Calvo + Perra | Project: Approved | +
-|  |  | 16:00 | session end |  | +
-|  |  |  |  |  | +
-| **Tuesday** | **23/02/21** | 9:00 | session start | [[https://teams.microsoft.com/l/meetup-join/19%3aaf85f87d0c6542c0a8f54b23a1422c21%40thread.tacv2/1613174511364?context=%7b%22Tid%22%3a%22c7456b31-a220-47f5-be52-473828670aa1%22%2c%22Oid%22%3a%225dbef49a-16b4-4863-9a6c-9e378eb9813c%22%7d|Microsoft Teams]] +
-|  | **23/02/21** |  | Pantano | Project: Approved | +
-|  | **23/02/21** |  | Bechini + Lusito | Project: Approved | +
-|  | **23/02/21** |  | D'Apoli + Macaluso | Project: Approved | +
-|  | **23/02/21** |  | Costantini + Ribellino | Project: Approved | +
-|  |  | 13:00 | session end |  | +
-|  | **23/02/21** | 15:00 | session start |  | +
-|  | **23/02/21** |  | Bennici + Pepi | Project: Approved | +
-|  | **23/02/21** |  | Lucarini + Umair | Project: Approved | +
-|  |  | 18:00 | session end |  | +
-|  |  |  |  |  | +
-| **Wednesday** | **24/02/21** | 9:00 | session start | [[https://teams.microsoft.com/l/meetup-join/19%3aaf85f87d0c6542c0a8f54b23a1422c21%40thread.tacv2/1613174859443?context=%7b%22Tid%22%3a%22c7456b31-a220-47f5-be52-473828670aa1%22%2c%22Oid%22%3a%225dbef49a-16b4-4863-9a6c-9e378eb9813c%22%7d|Microsoft Teams]] | +
-|  | **24/02/21** |  | //Bongiardina + Fedele// | Project: Pending +
-|  | **24/02/21** |  | Faiman + Racioppa | Project: Approved +
-|  | **24/02/21** |  | //Giannella// | Project: Pending +
-|  |  | 12:00 | session end |  | +
-|  |  |  |  |  | +
-| **Thursday** | **25/02/21** | 9:00 | session start | [[https://teams.microsoft.com/l/meetup-join/19%3aaf85f87d0c6542c0a8f54b23a1422c21%40thread.tacv2/1613175205371?context=%7b%22Tid%22%3a%22c7456b31-a220-47f5-be52-473828670aa1%22%2c%22Oid%22%3a%225dbef49a-16b4-4863-9a6c-9e378eb9813c%22%7d|Microsoft Teams]] | +
-|  | **25/02/21** |  | Kovalchuk | Project: Approved | +
-|  | **25/02/21** |  | Bonini + Ciompi | Project: Approved | +
-|  | **25/02/21** |  | Perez + Richardson | Project: Approved | +
-|  | **25/02/21** |  | Olivotto | Project: Approved | +
-|  |  | 13:00 | session end |  | +
-|  | **25/02/21** | 15:00 | session start |  | +
-|  | **25/02/21** |  | Ferri + Ilic + Pappolla | Project: Approved | +
-|  |  | 16:00 | session end |  |+
  
- +--
-----+
  
  
-==== Exams ====+==== Exam ====
  
 The evaluation will be based on a group project and an oral exam. The evaluation will be based on a group project and an oral exam.
Linea 186: Linea 156:
   * **How do we request a project description?** //By sending an email to the teacher (possibly including the text ''BPM project request'' in the object, and mandatorily including full names, student ids and email addresses of all students in the group). The teacher will then reply (in a few days) with the project description.//   * **How do we request a project description?** //By sending an email to the teacher (possibly including the text ''BPM project request'' in the object, and mandatorily including full names, student ids and email addresses of all students in the group). The teacher will then reply (in a few days) with the project description.//
   * **Which graphical notation should we use in the modelling?** //You decide: typically EPC is fine for representing orchestrations, BPMN for both orchestration and choreography (collaboration diagrams).//   * **Which graphical notation should we use in the modelling?** //You decide: typically EPC is fine for representing orchestrations, BPMN for both orchestration and choreography (collaboration diagrams).//
-  * **Which tools should we use to design EPC diagrams or BPMN diagrams?** //Some tools are suggested in this page, but you are free to evaluate any other tool and then choose the one that you prefer. For example some cross-platform tools are: yEd is versatile, uder-friendly, has powerful automatic layout features but cannot export diagrams in .epml and .bpmn formats; Visual Paradigm online is also versatile and can export diagrams in several formats; Camunda modeler offers the essential features for drawing nice BPMN diagrams. Please, briefly motivate your choice in the report.//+  * **Which tools should we use to design EPC diagrams or BPMN diagrams?** //Some tools are suggested in this page, but you are free to evaluate any other tool and then choose the one that you prefer. For example some cross-platform tools are: yEd is versatile, user-friendly, has powerful automatic layout features but cannot export diagrams in .epml and .bpmn formats; Visual Paradigm online is also versatile and can export diagrams in several formats; Camunda modeler offers the essential features for drawing nice BPMN diagrams. Please, briefly motivate your choice in the report.//
   * **Which tools should we use for soundness analysis of workflow nets?** //My suggestion is to try to use Woped first, and then Woflan as a backup (as a Microsoft Windows application or as a ProM plugin, running on all platforms) if Woped is not responding fast enough or you like to collect information about error sequences to repair your model. If you find out other tools that can be used to the purpose, feel free to use them as well.//   * **Which tools should we use for soundness analysis of workflow nets?** //My suggestion is to try to use Woped first, and then Woflan as a backup (as a Microsoft Windows application or as a ProM plugin, running on all platforms) if Woped is not responding fast enough or you like to collect information about error sequences to repair your model. If you find out other tools that can be used to the purpose, feel free to use them as well.//
   * **How do we convert graphical diagrams into workflow nets?** //I am afraid the short answer is: manually. ProM offers some plugins but the outcome is very different and typically more complex than the one presented in the course. If you find other tools that can help you to speed up the conversion, feel free to use them.//   * **How do we convert graphical diagrams into workflow nets?** //I am afraid the short answer is: manually. ProM offers some plugins but the outcome is very different and typically more complex than the one presented in the course. If you find other tools that can help you to speed up the conversion, feel free to use them.//
Linea 200: Linea 170:
   * **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.//
Linea 208: Linea 178:
 ==== Announcements ==== ==== Announcements ====
  
-   * **lecture rescheduled**:\\ The lecture of thursday Oct15 has been rescheduled on **wednesday Oct. 28, 16:15-18:00**+   * **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.
  
-   * **lecture canceled**:\\ The lecture of **thursday Oct. 15** is canceled due to personal matters and will be rescheduled (possibly on a wednesday)  +   * **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**.
- +
-   * **lecture canceled**:\\ The lecture of **monday Sept. 21** is canceled due to election day  +
- +
-   * **covid-19**:\\ Due to the covid-19 alert, all lectures are held online on the Microsoft Teams platform. Click to enter the [[https://teams.microsoft.com/l/team/19%3aaf85f87d0c6542c0a8f54b23a1422c21%40thread.tacv2/conversations?groupId=776b67cd-cfec-4ddb-aa25-d771667d226d&tenantId=c7456b31-a220-47f5-be52-473828670aa1|virtual classroom]] +
- +
-   * **as the course starts**:\\ Each student should send an email to the professor from his/her favourite email account with **subject MPB20** and the following data\\ (by doing so, the account will be included in the class mailing-list, where important announcements can be sent): +
-    - **first name** and **last name** (please clarify which is which, to avoid ambiguities) +
-    - **enrolment number** (numero di matricola) +
-    - bachelor degree (**course of study** and **university**)+
  
 ---- ----
Linea 226: Linea 187:
 ==== Lectures (first half) ==== ==== Lectures (first half) ====
  
-[[https://teams.microsoft.com/l/team/19%3aaf85f87d0c6542c0a8f54b23a1422c21%40thread.tacv2/conversations?groupId=776b67cd-cfec-4ddb-aa25-d771667d226d&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%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 ^
-Mon 14/09 | 11:00-12:45 Microsoft Teams | {{ :magistraleinformaticaeconomia:mpb:01-introduction-2020.pdf |Lecture 1}} | Course introduction:\\ //course objectives, textbooks,\\ BPM aim and motivation,\\ models and abstraction// |  | +19/09 | 11:00-13:00 |  | **canceled** |  |  | 
-| 2 | Wed 16/09 | 16:15-18:00 | Microsoft Teams | {{ :magistraleinformaticaeconomia:mpb:02-business-processes-2020.pdf |Lecture 2}} | Introduction to Business Processes:\\ //Taylorism, work units, processes, terminology,\\ organizational structures// |  | +| 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// |  | 
-| - | Mon 21/09 | 11:00-12:45 | **Canceled** | Election day |   |  | +| 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// |  | 
-| 3 | Thu 24/09 | 16:15-18:00 | Microsoft Teams | Lecture (2nd part) | Introduction to Business Processes:\\ //Processo orientation and reengineering, main definitions,\\ 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// |  | 
-| 4 | Mon 28/09 | 11:00-12:45 Microsoft Teams | Exercises\\ {{ :magistraleinformaticaeconomia:mpb:02a-examples-2020.pdf |Examples}} | Examples and Exercises |  | +| 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// |  | 
-| 5 | Thu 01/10 | 16:15-18:00 | Microsoft Teams Examples (ctd.) | Examples and Exercises |  | +| 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 architecturesindividual 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// |  | 
-Mon 05/10 | 11:00-12:45 Microsoft Teams Examples and Exercises (ctd.)\\ {{ :magistraleinformaticaeconomia:mpb:03-evolution-2020.pdf |Lecture 3}} | Examples and Exercises\\ \\ Evolution of Enterprise Systems Architectures:\\ //separation of concerns, sw architectures\\ individual enterprise applications,\\ enterprise resource planning system,\\ siloed enterprise applications,\\ enterprise application integration,\\ message-oriented middleware// |  | +10/10 | 11:00-13:00 |  | **canceled** |  |  | 
-Thu 08/10 | 16:15-18:00 | Microsoft Teams | Lecture 3 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:04-models-2020.pdf |Lecture 4}} | Evolution of Enterprise Systems Architectures:\\ //enterprise service computing//\\ \\ Business Process Modelling Abstractions:\\ //Separation of concernshorizontal abstraction,\\ aggregation abstraction, vertical abstraction// |  +| 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 Chaineventsfunctions, connectors, EPC diagrams// | [[https://online.visual-paradigm.com/diagrams/features/epc-diagram-tool/|VP]]\\ [[http://www.yworks.com/en/products_yed_about.html|yEd]] 
-Mon 12/10 | 11:00-12:45 Microsoft Teams | {{ :magistraleinformaticaeconomia:mpb:05-methodology-2020.pdf |Lecture 5}}\\ {{ :magistraleinformaticaeconomia:mpb:06-lifecycle-2020.pdf |Lecture 6}} | Business Process Methodology:\\ //levels of business processes,\\ business strategiesoperational goals,\\ organizational BPoperational BP,\\ implemented BPdesign guidelines,\\ from business functions to processes//\\ \\ Business Processes Lifecyle:\\ //design and analysisconfiguration,\\ enactmentevaluation,\\ administration and stakeholders//\\ \\ Mathematical background:\\ //Sets, functionsrelations//  | +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:\\ //guidelinesdiagram repairfunction annotationsEPMLfolder-passing semanticscandidate splitcorresponding splitmatching splitOR-join policies (wait-for-allfirst-comeevery-time)examples//\\ \\ BPMN:\\ //Notationswimlanes//  | [[https://online.visual-paradigm.com/diagrams/features/epc-diagram-tool/|VP]]\\ [[http://www.yworks.com/en/products_yed_about.html|yEd]] 
-| Thu 15/10 16:15-18:00 **Canceled** |  |  |  +| 19/10 | 16:00-18:00 L1 | {{ :magistraleinformaticaeconomia:mpb:07-bpmn-2023.pdf |Lecture 7}} (2nd part) | BPMN:\\ //flow objectsartefactsconnecting 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]] 
-Mon 19/10 | 11:00-12:45 Microsoft Teams | {{ :magistraleinformaticaeconomia:mpb:07-nets-intro-2020.pdf |Lecture 7}} (1st part) | Mathematical background:\\ //predicate logicinductionrecursion//\\ \\ Introduction to Petri nets:\\ //finite state automata// |  +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// |  | 
-10 Thu 22/10 | 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 7)\\ Lecture 7 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:08-petri-2020.pdf |Lecture 8}} (1st part) | Introduction to Petri nets:\\ //from automata to Petri nets//\\ \\ More concepts about Petri nets:\\ //multisets and markings// |  | +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]] | 
-11 Mon 26/10 | 11:00-12:45 Microsoft 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]] | +11 31/10 | 11:00-13:00 | M1 | Exercises (from Lectures 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 graphmodelling with Petri netsexamples and exercises//\\ \\ Woped basics\\ \\ Behavioural properties:\\ //livenessnon live transitionsdead transitions// |  | 
-12 Wed 28/10 | 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 8) | Modelling with Petri nets:\\ //Examples and Exercises// |  | +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 livenessnon live placesdead placesdeadlock freedom, boundedness, safeness// |  | 
-| 13 | Thu 29/10 | 16:15-18:00 Microsoft Teams | Exercises (from Lecture 8)\\ {{ :magistraleinformaticaeconomia:mpb:09-properties-2020.pdf |Lecture 9}} (1st part) | Modelling with Petri nets:\\ //Examples and Exercises//\\ \\ Behavioural properties:\\ //liveness// |  | + 
-| 14 | Mon 02/11 | 11:00-12:45 | Microsoft Teams | Lecture 9 (2nd part)\\ Exercises (from Lecture 9) | Behavioural properties:\\ //dead transitionsplace livenessdead places// |  | + 
-| 15 | Thu 05/11 | 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 9)\\ Lecture 9 (3rd part)  | Behavioural properties:\\ //deadlock freedom, boundedness, safeness,  cyclicity//\\ \\ Structural properties:\\ //weak and strong connectedness,\\ S-systemsT-systems, free-choice nets// |  | + 
-16 Mon 09/11 | 11:00-12:45 Microsoft Teams | Exercises (from Lecture 9)\\ {{ :magistraleinformaticaeconomia:mpb:10-net-matrices-2020.pdf |Lecture 10}} (1st part) | Nets as matrices:\\ //markings as vectors// |  | +
-| 17 | Thu 12/11 | 16:15-18:00 | Microsoft Teams | Lecture 10 (2nd part) | Nets as matrices:\\ //incidence matricesParikh vectors,\\ marking equation lemmamonotonicity lemma,\\ boundedness lemmarepetition lemma// |  |+
  
 ==== Lectures (second half) ==== ==== Lectures (second half) ====
 +
 +[[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 ^
-18 Mon 16/11 | 11:00-12:45 Microsoft Teams | Exercises (from Lecture 10)\\ {{ :magistraleinformaticaeconomia:mpb:11-invariants-2020.pdf |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 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// |  | 
-19 Thu 19/11 | 16:15-18:00 | Microsoft Teams | Lecture 11 (2nd part)\\ Exercises (from Lecture 11)\\ {{ :magistraleinformaticaeconomia:mpb:12-facts-2020.pdf |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 | 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// |  | 
-20 Mon 23/11 | 11:00-12:45 Microsoft Teams | {{ :magistraleinformaticaeconomia:mpb:13-workflow-nets-2020.pdf |Lecture 13}}\\ Exercises (from Lecture 13)\\ {{ :magistraleinformaticaeconomia:mpb:14-wfnets-analysis-2020.pdf |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 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// |  | 
-21 Thu 26/11 | 16:15-18:00 | Microsoft Teams Lecture 14 (2nd part)\\ Exercises (from Lecture 14)\\ {{ :magistraleinformaticaeconomia:mpb:15-wfnets-construction-2020.pdf |Lecture 15}}\\ {{ :magistraleinformaticaeconomia:mpb:16-s-systems-2020.pdf |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 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]] | 
-22 Mon 30/11 | 11:00-12:45 Microsoft Teams More Exercises (from Lecture 14)\\ Exercises (from Lecture 15)\\ Lecture 16 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:17-t-systems-short-2020.pdf |Lecture 17}}\\ {{ :magistraleinformaticaeconomia:mpb:18-free-choice-short-2020.pdf |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 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]] 
-23 Thu 03/12 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 16)\\ Exercises (from Lecture 17)\\ Exercises (from Lecture 18)\\ {{ :magistraleinformaticaeconomia:mpb:18c-p-np-short-2020.pdf |A note on P and NP}} (optional reading)\\ Lecture 18 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:19-wfnets-diagnosis-short-2020.pdf |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:\\ //WopedS-componentsS-cover,\\ T-cover (optional reading),\\ TP-handlesPT-handles,\\ well-handled netswell-structured wf nets,\\ Woflan, ProM, error sequences,\\ non-live sequencesunbounded sequences//  | [[http://woped.dhbw-karlsruhe.de/|Woped]]\\ [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]] | +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 constructionS-nets properties, T-nets properties// |  | 
-24 Mon 07/12 11:00-12:45 Microsoft Teams Exercises (from Lecture 19)\\ {{ :magistraleinformaticaeconomia:mpb:20-workflow-systems-2020.pdf |Lecture 20}}\\ {{ :magistraleinformaticaeconomia:mpb:21-epc-new-2020.pdf |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 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 partFree-choice nets:\\ //traps, Commoner's theorem and its complexity issues, Rank theorem and its complexity issues//\\ \\ EPC:\\ //soundness analysisfrom EPC to wf netsnet fragmentsdummy stylefusion styleunique startunique endthree transformations, semantics ambiguities, relaxed sound nets, relaxed sound EPC diagrams//\\ \\ Exercises:\\ //workflow net analysis with Woped, properties of free-choice netsworkflow systems// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | 
-25 Thu 10/12 | 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 20)\\ Exercises (from Lecture 21)\\ {{ :magistraleinformaticaeconomia:mpb:22-bpmn-new-2020.pdf |Lecture 22}}\\ Exercises (from Lecture 22)\\ {{ :magistraleinformaticaeconomia:mpb:99-missed-2020.pdf |A final note}} (with project instructions) | BPMN:\\ //Notationswimlanes, 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 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 netsworkflow systemsEPC 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 | 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 | 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 |  |  |  |  |  |  |
  
 +==== 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 |
  
 ---- ----
Linea 267: Linea 237:
 ==== Past courses ==== ==== Past courses ====
  
 +  * [[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:2019-20:|A.A. 2019/20]]   * [[magistraleinformaticaeconomia:mpb:2019-20:|A.A. 2019/20]]
   * [[magistraleinformaticaeconomia:mpb:2018-19:|A.A. 2018/19]]   * [[magistraleinformaticaeconomia:mpb:2018-19:|A.A. 2018/19]]
magistraleinformaticaeconomia/mpb/start.1613753672.txt.gz · Ultima modifica: 19/02/2021 alle 16:54 (3 anni fa) da Roberto Bruni