Behavioural Models: From Modelling Finite Automata to Analysing Business Processes

Matthias Kunze , Mathias Weske