Toggle Main Menu Toggle Search

Open Access padlockePrints

Synchrony and Asynchrony in Membrane Systems

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

We consider synchrony and asynchrony in the behavior of various models of membrane systems, which may differ in the way individual reactions are defined as well as in the way multisets of these reactions can be executed in a single computational step. We concentrate on the properties of ongoing computations, including the unbounded ones. Our focus is on the properties of system states involved in such computations as well as on concurrency and causality relationships between executed reactions. This should be contrasted with the approach which investigates different notions of ‘results’ produced through halting computations of membrane systems. As a formal behavioral model we use Petri nets and their processes which are very well suited to capture the notion of an execution in a concurrent context. We continue our earlier work reported in [15], where a systematic and structural link has been established between a basic class of membrane systems and Petri nets. Here, we look at some natural extensions of this basic class of membrane systems and investigate the ways in which they can be represented within the behavioral model provided by Petri nets.


Publication metadata

Author(s): Kleijn J, Koutny M

Editor(s): Hoogeboom, H.J., Paun, G., Rozenberg, G., Salomaa, A.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Membrane Computing: 7th International Workshop (WMC)

Year of Conference: 2006

Pages: 66-85

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer

URL: http://dx.doi.org/10.1007/11963516_5

DOI: 10.1007/11963516_5

Notes: Invited lecture

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540690887


Share