Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins