Tutorial given at the 11th International Conference on Business Process Management (BPM'2013), Beijing, China, 29 August 2013. More information available at: http://fundamentals-of-bpm.org