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: An Introduction
Membrane Computing: An Introduction
Molecular Computing with Generalized Homogeneous P-Systems
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
On the Number of Non-terminal Symbols in Graph-Controlled, Programmed and Matrix Grammars
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Membrane Computing with External Output
Membrane Computing with External Output
Molecular Biology of Bacteria and Its Relevance for P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Discrete solutions to differential equations by metabolic P systems
Theoretical Computer Science
Three "quantum" algorithms to solve 3-SAT
Theoretical Computer Science
(Tissue) P Systems with Unit Rules and Energy Assigned to Membranes
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Reversible P Systems to Simulate Fredkin Circuits
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
The metabolic algorithm for P systems: Principles and applications
Theoretical Computer Science
(UREM) P systems with a quantum-like behavior: background, definition, and computational power
WMC'07 Proceedings of the 8th international conference on Membrane computing
Computing with energy and chemical reactions
Natural Computing: an international journal
MP systems approaches to biochemical dynamics: biological rhythms and oscillations
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Quantum sequential p systems with unit rules and energy assigned to membranes
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Evolution and oscillation in p systems: applications to biological phenomena
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Conservative computations in energy–based p systems
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Sequential p systems with unit rules and energy assigned to membranes
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Universal families of reversible p systems
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Energy-Based models of p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
(Tissue) P Systems with Unit Rules and Energy Assigned to Membranes
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Reversible P Systems to Simulate Fredkin Circuits
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Hi-index | 0.00 |
As already considered in [13], we investigate P systems where each evolution rule "produces" or "consumes" some quantity of energy, in amounts which are expressed as integer numbers. Yet in contrast to P systems with energy accounting as considered in [13], for energy-controlled P systems we demand that in each evolution step and in each membrane the total energy consumed by the application of a multiset of evolution rules has to be the maximum possible within a specific non-negative range. Only equipped with this control feature, energy-controlled P systems are very powerful. In the case of multisets of symbol objects we find that energy-controlled P systems with even only one membrane and an energy range of {0, 1} for the total energy involved in an evolution step characterize the recursively enumerable sets of vectors of natural numbers (without using catalysts or priorities or membrane dissolving features). In the case of string objects similar results can be obtained. Energy-controlled P systems with even only one membrane and the minimal energy range of {0} for the total energy involved in an evolution step at least generate any set of vectors of natural numbers that can be generated by matrix grammars without appearance checking.