A modeling approach based on p systems with bounded parallelism

Authors:
Francesco Bernardini;Francisco J. Romero-Campero;Marian Gheorghe;Mario J. Pérez-Jiménez
Affiliations:
Leiden Institute of Advanced Computer Science, University of Leiden, Leiden, CA, The Netherlands;Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain;Department of Computer Science, The University of Sheffield, Sheffield, UK;Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Seville, Sevilla, Spain
Venue:
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Year:
2006

Citing 8
Cited 3

Computing with membranes

Journal of Computer and System Sciences
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Membrane Computing: An Introduction

Membrane Computing: An Introduction
On the decidability of model-checking for P systems

Journal of Automata, Languages and Combinatorics
Structural operational semantics of p systems

WMC'05 Proceedings of the 6th international conference on Membrane Computing
Analysis of signalling pathways using continuous time markov chains

Transactions on Computational Systems Biology VI
P systems, a new computational modelling tool for systems biology

Transactions on Computational Systems Biology VI
Asynchronous p systems and p systems working in the sequential mode

WMC'04 Proceedings of the 5th international conference on Membrane Computing

Producer/Consumer in Membrane Systems and Petri Nets

CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Membrane computing as a modeling framework: cellular systems case studies

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a general framework for modelling with membrane systems that is based on a computational paradigm where rules have associated a finite set of attributes and a corresponding function. Attributes and functions are meant to provide those extra features that allow to define different strategies to run a P system. Such a strategy relying on a bounded parallelism is presented using an operational approach and applying it for a case study presenting the basic model of quorum sensing for Vibrio fischeri bacteria.