Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems. - Angel V. Baranda; Fernando Arroyo; Juan Castellanos; Rafael Gonzalo (DNA, 2001)