DidaWiki

Questa pagina è in sola lettura. Puoi visualizzare il sorgente, ma non puoi modificarlo. Contatta l'amministratore se pensi che ci sia un errore.
====== Business Processes Modeling ======

{{:magistraleinformaticaeconomia:mpb:hand-drawing-diagram.png?180 | }}

**MPB 2025/26 (295AA / 372AA, 6 cfu)**

Lecturers: **Roberto Bruni**, **Andrea Vandin**

Contact: [[http://www.di.unipi.it/~bruni|web Bruni]] - [[https://www.santannapisa.it/en/andrea-vandin|web Vandin]]

Office hours: **Thursday 15:00-18:00**


----

==== Objectives ====

The course aims to reconcile abstraction techniques and high-level diagrammatic notations together with modular and structural approaches. The objective is to show the impact of the analysis and verification properties of business processes on the choice of the best suited specification and modelling languages. At the end of the course, the students will gain some familiarity with business process terminology, with different models and languages for the representation of business processes, with different kinds of logical properties that such models can satisfy and with different analysis and verification techniques. The students will also experiment with some tools for the design, synthesis and analysis of business processes.

----

==== 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), Process performance analysis. Process simulation. Process Mining.

----

==== Textbook(s) ====


  * [[http://bpm-book.com/|Business Process Management: Concepts, Languages, Architectures]] (book on BPM, main reference)
  * [[http://www.padsweb.rwth-aachen.de/wvdaalst/publications/p110.pdf|Diagnosing workflow processes using Woflan]] (article on Formal Analysis of Workflows, recommended reading)
  * [[http://mitpress.mit.edu/books/workflow-management|Workflow Management: Models, Methods, and Systems]] (book on Workflow Management, optional reading)
  * [[http://www7.in.tum.de/~esparza/bookfc.html|Free Choice Nets]] (book on Petri nets, optional reading)
  * [[http://fundamentals-of-bpm.org/|Fundamentals of Business Process Management]] (book on BPMN, optional reading)
  * [[https://www.springer.com/gp/book/9783662498507|Process Mining]] (book on Process Mining, optional reading)
  * Further bibliography and lecture notes will be indicated during the course.

----

==== Quick reference(s) ====

  * [[http://www.informatik.uni-hamburg.de/TGI/PetriNets|Petri Nets World]]
  * [[http://www.pnml.org|PNML (Petri Nets Markup Language)]]: XML-based standard for Petri nets
  * [[http://www.bpmn.org|BPMN]]: Current specification [[http://www.omg.org/spec/BPMN/2.0/PDF|v2.0]]
  * [[https://www.bpmnquickguide.com/view-bpmn-quick-guide/|BPMN]]: Quick guide
  * [[http://www.oasis-open.org/committees/wsbpel|BPEL]]
  * [[http://www.workflowpatterns.com|Workflow Patterns]]
  * [[http://www.processmining.org|Process Mining]]
  * [[http://www.xes-standard.org|XES (eXtensible Event Stream)]]: XML-based standard for event logs
  * [[https://pros.unicam.it:4200/index|RePROSitory]]: (Repository of open PROcess models and logS)

----
==== Tool(s) ====

[[http://woped.dhbw-karlsruhe.de/|{{:magistraleinformaticaeconomia:mpb:woped-icon.png?50|http://woped.dhbw-karlsruhe.de/woped/}}]] 
[[https://www.win.tue.nl/woflan/index.html|{{:magistraleinformaticaeconomia:mpb:e8adaea8122411aaa79b8afec7c9fb32.media.272x236.jpg?80|http://www.win.tue.nl/woflan/doku.php}}]] 
[[https://promtools.org/|{{:magistraleinformaticaeconomia:mpb:tools.png?60}}]] 
[[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}}]]
[[https://ariscommunity.com/aris-express|{{:magistraleinformaticaeconomia:mpb:aoc-logo.png?40|}}]]
[[http://bpmn.io/|{{:magistraleinformaticaeconomia:mpb:bpmn.io.logo.png?50|}}]]
[[https://camunda.com/platform/modeler/|{{:magistraleinformaticaeconomia:mpb: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}}]]
[[https://fluxicon.com/disco/|{{:magistraleinformaticaeconomia:mpb:disco.png?60|}}]]

  * [[http://woped.dhbw-karlsruhe.de/|Woped]]: Workflow Petri Net Designer
  * [[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://promtools.org/|ProM]]: Process Mining Framework
  * [[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.io/|BPMN.io]]: 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.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://fluxicon.com/disco/|Disco]]: Business Process Mining Tool
  * [[https://yawlfoundation.github.io/|YAWL]]: Yet Another Workflow Language platform
  * [[http://bimp.cs.ut.ee/|BIMP]]: Business Process Simulator


----



==== Exam ====

The evaluation will be based on a group project and an oral exam.

[[https://esami.unipi.it/esami/|Registration]] to the exam is mandatory.

The student must demonstrate the ability to put into practice and to execute, with critical awareness, the activities illustrated or carried out under the guidance of the teacher during the course.

=== Project FAQ ===

  * **What are the prerequisites for having a project assigned?** //There are no prerequisites, but the teacher will assume that you have already studied all the material of the course (if this is not the case, then it is very likely that you won't be able to deliver the project in time).//
  * **How many people can work together on the same project?** //Projects are assigned to individuals or to groups of two people. Exceptionally, groups of three people can be allowed, but a solid motivation is needed.//
  * **When is it possible to request the project description?** //After the end of the lectures, any (working) day of the year.//
  * **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 orchestration, collaboration and choreography 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, 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.//
  * **How do we convert graphical diagrams into workflow nets?** //Since January 2026, a prototype conversion tool has been available online at [[https://bpmn2petrinet.com/| https://bpmn2petrinet.com/]]. For the best experience, Google Chrome is recommended. Please note that the tool is still in its early stages of development, so the results may not always match expectations. In some cases, manual conversion may therefore be necessary. ProM also provides some conversion plugins; however, their output is typically  more complex than the approach presented in the course. If you discover other tools that help speed up the conversion, feel free to use them.//
  * **When is the deadline for submitting the project?** //There is no fixed deadline; however, on average, the work requires at least one week of effort.//
  * **What does it happen if a person leaves the group?** //You must notify immediately the teacher and choose if you prefer to complete the work individually or to request another project later on.//
  * **How do we deliver the project?** //You must send the teacher a short project report in .pdf format together with the source files of all diagrams and nets you designed. Optionally, you can submit the soundness analysis checklist (available on the Microsoft Teams channel) for any of your model.//
  * **When do we discuss the project?** //Preferably, at the first exam session that follows the delivery of the project, see the [[https://didattica.di.unipi.it/en/master-programme-in-data-science-and-business-informatics/academic-calendar-2025-2026/|Academic calendar of activities]].//
  * **Is it necessary to have already delivered the project in order to register for the exam?** //No, it is not. But of course the project must be delivered in time for being discussed at the actual oral exam.//

=== Exam FAQ ===

  * **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.//
  * **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 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.//
  * **Is it possible to pass the first part of the exam and fail the second?** //Let's hope it won't happen, but yes, it is possible, in which case the student will need to register for one of the next exam sessions. Depending on each single case, a new project may also be assigned.//

----
==== Announcements ====

   * **As the course starts**:\\ Each student must subscribe the [[https://teams.microsoft.com/l/team/19%3Azto2eFj4PLSjCg5zdWWdvStfVb-XOYSoLPQAPA-hQIk1%40thread.tacv2/conversations?groupId=da00da6d-78f7-40c7-963b-6bebe0a3078c&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Microsoft Teams channel]] of the course.\\ Then, please spend a few minutes to fill the form [[https://forms.office.com/e/pUBCaXA1Tg|Background Check]] that will be helpful to tune the pace and content of the course.

----


==== Lectures ====

[[https://teams.microsoft.com/l/team/19%3Azto2eFj4PLSjCg5zdWWdvStfVb-XOYSoLPQAPA-hQIk1%40thread.tacv2/conversations?groupId=da00da6d-78f7-40c7-963b-6bebe0a3078c&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Microsoft Teams]]: Additional material is available on Teams.

^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^
| 1 | 17/09 | 14:00-16:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:01-introduction-2025-26.pdf |Lecture 1}} | Course introduction:\\ //course objectives, textbooks, BPM aim and motivation, models and abstraction// |  |
| 2 | 19/09 | 11:00-13:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:02-business-processes-2025-26.pdf |Lecture 2}} | Introduction to Business Processes:\\ //Taylorism, work units, processes, terminology, organizational structures, process orientation and reengineering, visual notations// |  |
| 3 | 24/09 | 14:00-16:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:03-visual-notation-2025-26.pdf |Lecture 3}} | Exercises:\\ //Alice-Bob car selling scenario//\\ \\ Examples:\\ //Orchestration diagrams, collaboration diagrams, choreography diagrams// |  |
| 4 | 26/09 | 11:00-13:00 | L1 | Lecture V1 | Introduction to Process Mining with hands-on tutorial on Fluxicon Disco //**(Prof. Vandin)**// | [[https://fluxicon.com/disco/|Disco]] |
| 5 | 01/10 | 14:00-16:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:04-petri-2025-26.pdf |Lecture 4}} | Informal intro to Workflow nets:\\ //Petri nets basics, workflow net definition, WoPeD tool, syntax sugar, subprocesses, control flow aspects, triggers, modelling with workflow nets// | [[http://woped.dhbw-karlsruhe.de/|Woped]] |
| - | 03/10 | 11:00-13:00 | L1 | **Canceled** | **General strike** | |
| 6 | 08/10 | 14:00-16:00 | L1 | {{ :magistraleinformaticaeconomia:mpb:05-mining-2025-26.pdf |Lecture 5}} | Process mining:\\ //event logs, discovery, conformance, enhancement, perspectives, play-in, play-out, replay, overfitting, underfitting, footprint matrix, alpha-algorithm// |  |
| - | 10/10 | 11:00-13:00 | L1 | **Canceled** | **Orientation activities** | |
| 7 | 15/10 | 14:00-16:00 | [[https://teams.microsoft.com/l/team/19%3Azto2eFj4PLSjCg5zdWWdvStfVb-XOYSoLPQAPA-hQIk1%40thread.tacv2/conversations?groupId=da00da6d-78f7-40c7-963b-6bebe0a3078c&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Teams]] | Lecture V2 | The Python library for Process Mining: PM4PY. Overview to event logs analysis, process discovery, and conformance checking. (a practitioner perspective) //**(Prof. Vandin)**// |  |
| 8 | 17/10 | 11:00-13:00 | C1 | Lecture V3 | Formal introduction to dependency graphs and to the heuristic miner. Footprint-based conformance checking. //**(Prof. Vandin)**// |  |
| 9 | 22/10 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:06-orchestration-collaboration-2025-26.pdf |Lecture 6}} | Orchestration, choreography, collaboration diagrams| [[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]]\\ [[http://bpmn.sourceforge.net/|Yaoqiang]]\\ [[http://bpmn.io/|BPMN.io]]\\ [[https://camunda.com/platform/modeler/|Camunda]]\\ [[https://www.bizagi.com/platform/modeler|Bizagi]] |
| 10 | 24/10 | 11:00-13:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:07a-epc-bpmn-2025-26.pdf |Lecture 7a}} | EPC and BPMN guidelines|  |
| 11 | 29/10 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:07b-more-bpmn-2025-26.pdf |Lecture 7b}} | BPMN key features |  |
| 12 | 31/10 | 11:00-13:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:08-nets-intro-2025-26.pdf |Lecture 8}} | Petri nets: finite automata, nets, markings, firing |  |
| 13 | 05/11 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:09-occurrence-graph-2025-26.pdf |Lecture 9}} | Petri nets: occurrence graph, boundedness, coverability graph | [[http://woped.dhbw-karlsruhe.de/|Woped]] |
| 14 | 07/11 | 11:00-13:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:10-liveness-2025-26.pdf |Lecture 10}} | Petri nets: Liveness, place liveness, deadlock freedom |  |
| 15 | 12/11 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:11-net-matrices-2025-26.pdf |Lecture 11}} | Petri nets as matrices: incidence matrix, Parikh vectors, Marking equation lemma, Monotonicity lemma, Boundedness lemma, Repetition lemma |  |
| 16 | 14/11 | 11:00-13:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:12-soundness-2025-26.pdf |Lecture 12}} | Workflow nets: Soundness, N*, Main theorem, Strong connectedness theorem | [[http://woped.dhbw-karlsruhe.de/|Woped]] |
| 17 | 19/11 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:13-wfnets-construction-2025-26.pdf |Lecture 13}}\\ {{ :magistraleinformaticaeconomia:mpb:14-invariants-2025-26.pdf |Lecture 14}} | Sound and safe WfN by construction\\ Invariants: S-invariants|  |
| 18 | 21/11 | 11:00-13:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:14-invariants-2025-26.pdf |Lecture 14}}\\ {{ :magistraleinformaticaeconomia:mpb:15-s-t-systems2025-26.pdf |Lecture 15}} | Invariants: T-invariants\\ Structural properties: S-systems, T-systems |  |
| 19 | 26/11 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:16a-epc-analysis-2025-26.pdf |Lecture 16a}}\\ {{ :magistraleinformaticaeconomia:mpb:16b-bpmn-analysis-2025-26.pdf |Lecture 16b}} | From EPC to WfN\\ From BPMN to WfN |  |
| 20 | 28/11 | 11:00-13:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:17aux-p-np-2025-26.pdf |Lecture 17 aux}}\\ {{ :magistraleinformaticaeconomia:mpb:17-free-choice-2025-26.pdf |Lecture 17}} | P vs NP: Decision problems and complexity classes\\ Structural properties: Free-choice nets |  |
| 21 | 03/12 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:18-workflow-systems-2025-26.pdf |Lecture 18}}\\ {{ :magistraleinformaticaeconomia:mpb:19-conformance-2025-26.pdf |Lecture 19}} | Worflow systems: workflow modules, relaxed soundness\\ Conformance measures |  |
| 22 | 05/12 | 11:00-13:00 | C1 | Lecture V4 | Conformance checking: how good is my model? How good is the log? //**(Prof. Vandin)**// |  |
| 23 | 10/12 | 14:00-16:00 | C1 | {{ :magistraleinformaticaeconomia:mpb:20-quantitative-analysis-2025-26.pdf |Lecture 20}}\\ {{ :magistraleinformaticaeconomia:mpb:21-wfnets-diagnosis-2025-26.pdf |Lecture 21}} | Quantitative analysis: Cycle time, Flow analysis, Little's law\\ \\ Workflow nets diagnosis: Woflan, ProM, coverability,  (optional: error sequences) | [[http://woped.dhbw-karlsruhe.de/|Woped]]\\ [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]] |
| - | 12/12 | 11:00-13:00 | C1 | **Canceled** | **General strike** | |




==== Past courses ====

  * [[magistraleinformaticaeconomia:mpb:2024-25:|A.A. 2024/25]]
  * [[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:2019-20:|A.A. 2019/20]]
  * [[magistraleinformaticaeconomia:mpb:2018-19:|A.A. 2018/19]]
  * [[magistraleinformaticaeconomia:mpb:2017-18:|A.A. 2017/18]]
  * [[magistraleinformaticaeconomia:mpb:2016-17:|A.A. 2016/17]]
  * [[magistraleinformaticaeconomia:mpb:2015-16:|A.A. 2015/16]]
  * [[magistraleinformaticaeconomia:mpb:2014-15:|A.A. 2014/15]]
  * [[magistraleinformaticaeconomia:mpb:2013-14:|A.A. 2013/14]]