The interactions between different formal models and biology have a long-standing successful history. Results have been produced on both sides of this process while continuously new models are considered and new biological territories are uncovered. On one hand, biological systems, as cells, have been recognised as complex systems requesting various models to simulate, explain, and verify their...