Properties of enhanced mobile membranes via coloured Petri nets

Authors:
Bogdan Aman;Gabriel Ciobanu
Affiliations:
Romanian Academy, Institute of Computer Science, Blvd. Carol I no. 8, 700505 Iaşi, Romania and "A.I. Cuza" University of Iaşi, Romania;Romanian Academy, Institute of Computer Science, Blvd. Carol I no. 8, 700505 Iaşi, Romania and "A.I. Cuza" University of Iaşi, Romania
Venue:
Information Processing Letters
Year:
2012

Citing 5
Cited 1

Membrane Computing: An Introduction

Membrane Computing: An Introduction
Describing the Immune System Using Enhanced Mobile Membranes

Electronic Notes in Theoretical Computer Science (ENTCS)
Simple, Enhanced and Mutual Mobile Membranes

Transactions on Computational Systems Biology XI
Enhanced Mobile Membranes: Computability Results

Theory of Computing Systems
Towards a petri net semantics for membrane systems

WMC'05 Proceedings of the 6th international conference on Membrane Computing

Mobile membranes with objects on surface as colored petri nets

CMC'12 Proceedings of the 13th international conference on Membrane Computing

Quantified Score

Hi-index	0.89

Visualization

Abstract

Enhanced mobile membranes represent a rule-based formalism involving parallelism and mobility dependent on available resources. A translation of this formalism into coloured Petri nets is provided in order to analyse some important properties (reachability, boundedness, liveness, fairness) in enhanced mobile membranes.