Visualization in process algebra models of biological systems