Computational methodologies for modelling, analysis and simulation of signalling networks