A formalization of membrane systems with dynamically evolving structures

DOI10.1080/00207160.2012.748899MaRDI QIDQ2852133zbMATH OpenOpenAlexFDO

Authors Rudolf Freund, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Sergey Verlan

Publication date 8 October 2013

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://idus.us.es/handle//11441/87865

zbMATH Keywords

dynamic structureP-systemsformal framework

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Using the formal framework for P systems
• A Formal Framework for Static (Tissue) P Systems
• Static and dynamic membrane structures
• On the verification of membrane systems with dynamic structure
• A Petri net model for membrane systems with dynamic structure

Cites work

• (Tissue) P systems working in the k-restricted minimally or maximally parallel transition mode
• A Formal Framework for Static (Tissue) P Systems
• A P system based model of an ecosystem of some scavenger birds
• A P-Lingua based simulator for tissue P systems
• An overview of P-Lingua 2.0
• Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24--27, 2009. Revised selected and invited papers

Cited in

(22)

• Kernel P systems modelling, testing and verification -- sorting case study
• Using the formal framework for P systems
• A formal framework for spiking neural P systems
• Simulation challenges in membrane computing
• Going beyond Turing with P automata: partial adult halting and regular observer -languages
• A Formal Framework for Static (Tissue) P Systems
• Events, Causality, and Concurrency in Membrane Systems
• On the verification of membrane systems with dynamic structure
• Numerical networks of cells
• Cycles and communicating classes in membrane systems and molecular dynamics
• On Flip-Flop Membrane Systems with Proteins
• Dynamic Reconfiguration via Typed Modalities
• Multiset patterns and their application to dynamic causalities in membrane systems
• Formalizing Spherical Membrane Structures and Membrane Proteins Populations
• Dynamic meaning membrane systems: an application to the description of semantic change
• A tutorial on the formal framework for spiking neural P systems
• A Petri net model for membrane systems with dynamic structure
• Static and dynamic membrane structures
• Membrane Systems with Qualitative Evolution Rules
• Vertical membrane structure of decision evolution sets
• Expressing Control Mechanisms of Membranes by Rewriting Strategies
• Membrane Computing

This page was built for publication: A formalization of membrane systems with dynamically evolving structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852133)