Process modelling and model analysis. (©2001)