Behavioural Models

From Modelling Finite Automata to Analysing Business Processes