Toggle Main Menu Toggle Search

ePrints

Processes of membrane systems with promoters and inhibitors

Lookup NU author(s): Professor Maciej Koutny

Downloads


Abstract

Membrane systems (with promoters and inhibitors) are a computational model inspired by the way living cells are divided by membranes into compartments where chemical reactions may take place. We consider synchrony and asynchrony between executed reactions in the computations of such systems using Petri nets and their processes as a formal behavioural model. We first discuss different definitions of individual computational steps, and show how they can be rendered within the Petri net domain by assigning all transitions localities corresponding to the compartments, and using activator and inhibitor arcs. The non-sequential semantics of the resulting nets is formalised through processes based on occurrence nets augmented with additional information about localities and activator/inhibitor arcs. Such processes provide a convenient tool for analysing synchrony and asynchrony in the executions of membrane systems and shed light on the causal relationships between the reactions taking place. © 2008 Elsevier B.V. All rights reserved.


Publication metadata

Author(s): Kleijn J, Koutny M

Publication type: Article

Publication status: Published

Journal: Theoretical Computer Science

Year: 2008

Volume: 404

Issue: 1-2

Pages: 112-126

ISSN (print): 0304-3975

Publisher: Elsevier BV

URL: http://dx.doi.org/10.1016/j.tcs.2008.04.006

DOI: 10.1016/j.tcs.2008.04.006


Altmetrics

Altmetrics provided by Altmetric


Actions

    Link to this publication


Share