Membrane Computing Models: Implementations - Zhang (Springer Singapore, 2021)