Properties of enhanced mobile membranes via coloured Petri nets

DOI10.1016/J.IPL.2011.12.003zbMath1242.68173OpenAlexW1988728061WikidataQ57936703 ScholiaQ57936703MaRDI QIDQ437686

Bogdan Aman, Gabriel Ciobanu

Publication date: 18 July 2012

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2011.12.003

zbMATH Keywords

concurrencycoloured Petri netsbehaviour propertiesenhanced mobile membranes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Modelling and verification of weighted spiking neural systems

Cites Work

• Unnamed Item
• Unnamed Item
• Enhanced mobile membranes: computability results
• Membrane computing. An introduction.
• Describing the Immune System Using Enhanced Mobile Membranes
• Simple, Enhanced and Mutual Mobile Membranes
• Membrane Computing
• Membrane Computing
• Membrane Computing

This page was built for publication: Properties of enhanced mobile membranes via coloured Petri nets