On the verification of membrane systems with dynamic structure

DOI10.1007/S11047-010-9214-0zbMATH Open1207.68148OpenAlexW2004242663MaRDI QIDQ609035FDOQ609035

Authors: Giorgio Delzanno, Laurent Van Begin 

Publication date: 30 November 2010

Published in: Natural Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11047-010-9214-0

Recommendations

• Properties of membrane systems
• A Biologically Inspired Model with Fusion and Clonation of Membranes
• Static and dynamic membrane structures
• Automata, Languages and Programming
• A formalization of membrane systems with dynamically evolving structures

zbMATH Keywords

verificationP-systemsdecidability results

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Cites Work

• Computing with membranes
• Title not available (Why is that?)
• BioAmbients: an abstraction for biological compartments
• Catalytic P systems, semilinear sets, and vector addition systems
• Verifying lossy channel systems has nonprimitive recursive complexity.
• Well-structured transition systems everywhere!
• P systems with proteins on membranes
• Title not available (Why is that?)
• An Algorithm for the General Petri Net Reachability Problem
• P systems with active membranes: Attacking NP-complete problems
• Title not available (Why is that?)
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Membrane Computing
• On the power of membrane division in P systems
• Gemmating P systems: Collapsing hierarchies.
• Membrane division, restricted membrane creation and object complexity in P systems
• A Biologically Inspired Model with Fusion and Clonation of Membranes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Dynamics of PB Systems with Volatile Membranes
• Automata, Languages and Programming
• Membrane Computing

Cited In (9)

• Title not available (Why is that?)
• A Biologically Inspired Model with Fusion and Clonation of Membranes
• Reachability problems in BioAmbients
• On the Reachability Problem in P Systems with Mobile Membranes
• On the Dynamics of PB Systems with Volatile Membranes
• Properties of membrane systems
• Static and dynamic membrane structures
• A formalization of membrane systems with dynamically evolving structures
• Automata, Languages and Programming

This page was built for publication: On the verification of membrane systems with dynamic structure

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