Modeling dependencies and simultaneity in membrane system computations

DOI10.1016/J.TCS.2011.12.060MaRDI QIDQ418826zbMATH OpenOpenAlexFDO

Authors G. Michele Pinna, Andrea Saba

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)

Recommendations

• An event based semantics of P-systems
• scientific article; zbMATH DE number 7020132
• Rule-based and object-based event structures for membrane systems
• Events, Causality, and Concurrency in Membrane Systems
• Synchrony and Asynchrony in Membrane Systems

Cites work

• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 1343484 (Why is no real title available?)
• scientific article; zbMATH DE number 1973128 (Why is no real title available?)
• scientific article; zbMATH DE number 7020132 (Why is no real title available?)
• Bisimulations in calculi modelling membranes
• Causality in Membrane Systems
• Cellular modelling using P systems and process algebra
• Compositional semantics and behavioral equivalences for P systems
• Computing with membranes
• Configuration structures, event structures and Petri nets
• Contextual Petri nets, asymmetric event structures, and processes
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Event structures with disabling/enabling relation and event automata
• Events, Causality, and Concurrency in Membrane Systems
• Membrane Computing
• Merged processes: a new condensed representation of Petri net behaviour
• On the nature of events: another perspective in concurrency
• Petri nets, event structures and domains. I
• Process semantics for membrane systems
• Processes of membrane systems with promoters and inhibitors
• Rule-based and object-based event structures for membrane systems
• The unfolding of general Petri nets
• Using well-structured transition systems to decide divergence for catalytic P systems
• Zero-safe nets: Comparing the collective and individual token approaches.

Cited in

(7)

• Memory associated with membranes systems
• scientific article; zbMATH DE number 7215282 (Why is no real title available?)
• Causality in Membrane Systems
• Events, Causality, and Concurrency in Membrane Systems
• Rule-based and object-based event structures for membrane systems
• Quantitative Causality in Membrane Systems
• An event based semantics of P-systems

This page was built for publication: Modeling dependencies and simultaneity in membrane system computations

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