INFOH420 - Business Process Management - Week 2

Small Summary

  • Online shopping example
    • problems with cancellation
    • different soundness criteria for petri-nets expressing workflows
  • Reset nets
  • Workflow nets
    • Soundness
  • Main control flow structures;
    • AND, XOR - split and joins
  • Decorating models with triggers (during exercises)

Supporting material

  • chapter 1 (section 1.6 and further), and sections 2.3 and 2.4 of chapter 2 (these parts may refer back to 2.2, so you may want to read some of these parts whenever ou need them to understand 2.3, but it is not necessary to read the complete 2.2). All chapters from the YAWL book.

Exercises

 
teaching/infoh420-w2.txt · Last modified: 2012/09/25 17:30 by tcalders