Theoretical aspects of modelling & simulation