A Petri net model for membrane systems with dynamic structure

Authors:
Jetty Kleijn;Maciej Koutny
Affiliations:
Leiden Institute of Advanced Computer Science--LIACS, Leiden University, Leiden, The Netherlands 2333 CA;School of Computing Science, Newcastle University, Newcastle upon Tyne, UK NE1 7RU
Venue:
Natural Computing: an international journal
Year:
2009

Citing 19
Cited 6

Concurrent and maximally concurrent evolution of nonsequential systems

Theoretical Computer Science
Sequential and concurrent behaviour in Petri net theory

Theoretical Computer Science
Computing with membranes

Journal of Computer and System Sciences
Membrane Computing: An Introduction

Membrane Computing: An Introduction
A guide to membrane computing

Theoretical Computer Science - Natural computing
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Elementary Net Systems

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Tissue P systems

Theoretical Computer Science
Translating Mobile Ambients into P Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Processes of Petri Nets with Range Testing

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Processes of membrane systems with promoters and inhibitors

Theoretical Computer Science
Process semantics for membrane systems

Journal of Automata, Languages and Combinatorics
Synchrony and asynchrony in membrane systems

WMC'06 Proceedings of the 7th international conference on Membrane Computing
Towards a petri net semantics for membrane systems

WMC'05 Proceedings of the 6th international conference on Membrane Computing
Asynchronous p systems and p systems working in the sequential mode

WMC'04 Proceedings of the 5th international conference on Membrane Computing
Time–independent p systems

WMC'04 Proceedings of the 5th international conference on Membrane Computing
On Synchronization in P Systems

Fundamenta Informaticae

Action-based analysis of discrete regulatory networks with short-term stimuli

Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Information systems in modeling interactive computations on granules

Theoretical Computer Science
Petri nets with localities and testing

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Interactive information systems: Toward perception based computing

Theoretical Computer Science
A compositional approach for modeling and simulation of bio-molecular systems

Proceedings of the Winter Simulation Conference
Modeling membrane systems using colored stochastic Petri nets

Natural Computing: an international journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider membrane systems with dissolving and thickening reaction rules. Application of these rules entails a dynamical change in the structure of a system during its evolution. First we provide a precise operational model for these dynamic membrane systems in which also promoter and inhibitor rules may occur. Next we describe a translation into behaviourally equivalent Petri nets with localities and range arcs.