Theoretical Basis and Computational Methods for a Number of Different Animal Models