Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems

This paper is part of a program of our research group, aiming to implement membrane computing on electronic computers. We here present Transition P systems, which is the preliminary steep of our approach. The formalisation we before have in mind the functional programming framework for developing the software modules. Part of these modules has already realised, in Haskell, and they are briefly described in the second section of the paper.