Petri net algorithms in the theory of matrix grammars
Acta Informatica
Journal of Computer and System Sciences
Handbook of Formal Languages
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Membrane Computing with External Output
Membrane Computing with External Output
On Synchronization in P Systems
Fundamenta Informaticae
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Hi-index | 0.00 |
P systems have been recently introduced by Gh. Paun as a newmo del for molecular computations based on the notion of membrane structure. In this work, we consider Rewriting P Systems which use electrical charges to move objects between the membranes. We show that electrical charges, a feature introduced in order to obtain more "realistic" systems, induces simple systems: we define two normal forms for two variants of Rewriting P Systems which make use of electrical charges.