Process algebra-based computational tools in ecological modelling