Teacher: Roberto Bruni (web - CLI - email - phone 050 2212785 - fax 050 2212726)
Question time: Wednesday 15:00-17:00 or by appointment
Textbook(s):
Business Process Management: Concepts, Languages, Architectures (book, main reference)
Diagnosing workflow processes using Woflan (article, recommended reading)
Workflow Management: Models, Methods, and Systems (book, optional reading)
Free Choice Nets (book, optional reading)
|
|
|
|
Aula |
|
|
| 1 | Mon 19/09 | 16-18 | B1 | Introduction | |
| 2 | Tue 20/09 | 16-18 | C1 | Business processes | |
| 3 | Mon 26/09 | 16-18 | B1 |
Business process models: Examples Business process lifecycle |
|
| 4 | Tue 27/09 | 16-18 | C1 |
Solutions to exercises Business process methodology |
|
| 5 | Mon 03/10 | 16-18 | B1 |
Evolution of Enterprise Systems Architectures The lecture ends at 17:00 due to travelling constraints |
|
| - | Tue 04/10 | 16-18 | C1 |
Canceled |
|
| 6 | Mon 10/10 | 16-18 | B1 |
Conceptual models and abstraction mechanisms Introduction to Petri nets |
|
| 7 | Tue 11/10 | 16-18 | C1 |
Discussion of previous exercises More on Petri nets (until "Properties of Petri nets" slide) |
|
| 8 | Mon 17/10 | 16-18 | B1 |
Discussion of previous exercises More on Petri nets (from "Properties of Petri nets" slide) |
|
| 9 | Tue 18/10 | 16-18 | C1 |
Incidence matrix |
|
| 10 | Mon 24/10 | 16-18 | B1 |
Discussion of previous exercises Invariants |
|
| 11 | Tue 25/10 | 16-18 | C1 |
Discussion of previous exercises Some formal properties of net systems |
|
| 12 | Mon 31/10 | 16-18 | B1 |
Exercises T-Invariants |
|
| - | Tue 01/11 | 16-18 | C1 |
Festivity |
|
| 13 | Mon 07/11 | 16-18 | B1 | Properties of S-systems and T-systems (until "Fundamental property of T-systems" slide) | |
| 14 | Tue 08/11 | 16-18 | C1 |
Properties of S-systems and T-systems (from "Fundamental property of T-systems" slide) Free-choice systems (until Exercises on stable markings) |
|
| 15 | Mon 14/11 | 16-18 | B1 | Free-choice systems (from "Siphons" slide) | |
| 16 | Tue 15/11 | 16-18 | C1 |
Workflow nets Workflow nets: analysis |
|
| 17 | Mon 21/11 | 16-18 | B1 |
Exam: Text with solutions |
|
| 18 | Tue 22/11 | 16-18 | C1 |
Workflow nets: analysis |
|
| 19 | Mon 28/11 | 16-18 | B1 |
Workflow nets: exercises Workflow nets: diagnosis |
|
| 20 | Tue 29/11 | 16-18 | C1 |
Workflow nets: soundness by construction Workflow modules and systems |
|
| 21 | Mon 05/12 | 16-18 | B1 |
Event-driven Process Chains (EPC) |
|
| 22 | Tue 06/12 | 16-18 | C1 |
Business Process Modelling Notation (BPMN) ISTRUZIONI GENERALI + ESEMPI DI PROGETTI |
|
| 23 | Mon 12/12 | 16-18 | B1 |
Workflow patterns Yet Another Workflow Language (YAWL) |
|
| 24 | Tue 13/12 | 16-18 | C1 |
Business Process Execution Language (BPEL) |