Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems. (3rd November 2017)