Modeling dependencies and simultaneity in membrane system computations

DOI10.1016/j.tcs.2011.12.060zbMath1242.68107OpenAlexW2029279619MaRDI QIDQ418826

Andrea Saba, G. Michele Pinna

Publication date: 30 May 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.060

zbMATH Keywords

membrane computingevent structureszero-safe Petri nets

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Memory associated with membranes systems ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the nature of events: another perspective in concurrency
• Configuration structures, event structures and Petri nets
• Merged processes: a new condensed representation of Petri net behaviour
• Using well-structured transition systems to decide divergence for catalytic P systems
• Compositional semantics and behavioral equivalences for P systems
• Bisimulations in calculi modelling membranes
• Cellular modelling using P systems and process algebra
• Processes of membrane systems with promoters and inhibitors
• Rule-based and object-based event structures for membrane systems
• Petri nets, event structures and domains. I
• Computing with membranes
• Zero-safe nets: Comparing the collective and individual token approaches.
• Contextual Petri nets, asymmetric event structures, and processes
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• The unfolding of general Petri nets
• Causality in Membrane Systems
• Events, Causality, and Concurrency in Membrane Systems
• Membrane Computing