  The purpose of this paper is to collect the homotopical methods used in thedevelopment of the theory of flows initialized by author's paper ``A modelcategory for the homotopy theory of concurrency''. It is presentedgeneralizations of the classical Whitehead theorem inverting weak homotopyequivalences between CW-complexes using weak factorization systems. It is alsopresented methods of calculation of homotopy limits and homotopy colimits usingQuillen adjunctions and Reedy categories.
It is presented generalizations of the classical Whitehead theorem inverting weak homotopy equivalences between CW-complexes using weak factorization systems. It is also presented methods of calculation of homotopy limits and homotopy colimits using Quillen adjunctions and Reedy categories.