Fundamentals of Process Modelling and Model Computation