Here’s a short video demonstrating some of the Membrane Computing features of the Higher Order Programming Environment.
An example screenshot illustrating the ability for carriers generated inside of one membrane to permeate out and into another membrane, if so configured.