Mobile membranes with objects on surface as colored petri nets

Authors:
Bogdan Aman;Gabriel Ciobanu
Affiliations:
Institute of Computer Science, Romanian Academy, Iaşi, Romania;Institute of Computer Science, Romanian Academy, Iaşi, Romania
Venue:
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Year:
2012

Citing 8
Cited 0

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Membrane Computing: An Introduction

Membrane Computing: An Introduction
Universality results for P systems based on brane calculi operations

Theoretical Computer Science
Decision problems in membrane systems with peripheral proteins, transport and evolution

Theoretical Computer Science
Simple, Enhanced and Mutual Mobile Membranes

Transactions on Computational Systems Biology XI
Mutual mobile membranes with objects on surface

Natural Computing: an international journal
Mobility in Process Calculi and Natural Computing

Mobility in Process Calculi and Natural Computing
Properties of enhanced mobile membranes via coloured Petri nets

Information Processing Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

Mobile membranes with objects on surface represent a rule-based formalism involving parallelism and mobility. We use this class of mobile membranes to model the low-density lipoprotein degradation. A translation of this formalism into colored Petri nets is provided in order to analyze, using CPN Tools, some important properties of mobile membranes: reachability, boundedness, liveness, fairness. In order to show how this translation works, we translate the model of the low-density lipoprotein degradation using mobile membranes into colored Petri nets.