Toggle Main Menu Toggle Search

ePrints

Signal Set Tissue Systems and Overlapping Localities

Lookup NU author(s): Professor Maciej Koutny, Dr Marta Koutny

Downloads


Licence

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).


Abstract

In signal set tissue systems with overlapping localities (SSOLT-systems) evolution rules can be associated with several cells. Rules may influence each other through instant signalling and, moreover, they are synchronised when sharing activated cells. The latter is a new feature. We study the behaviour of SSOLT-systems in the form of labelled step transition systems. This allows to compare SSOLT-systems with and without signalling and overlapping localities.Next the synthesis problem is considered, i.e., the question when given a step transition system, how to effectively construct an SSOLT-system exhibiting this behaviour. To this end, SSOLT-systems are related to a new class ofPetri nets, that are behaviourally equivalent to SSOLT-systems. It is shown how certain region based synthesis techniques can be applied to these nets and hence are also available for SSOLT-systems.


Publication metadata

Author(s): Kleijn J, Koutny M, Pietkiewicz-Koutny M

Publication type: Article

Publication status: Published

Journal: Theoretical Computer Science

Year: 2017

Volume: 701

Pages: 132-145

Print publication date: 21/11/2017

Online publication date: 10/04/2017

Acceptance date: 19/02/2017

ISSN (print): 0304-3975

Publisher: Elsevier

URL: https://doi.org/10.1016/j.tcs.2017.02.036

DOI: 10.1016/j.tcs.2017.02.036


Altmetrics

Altmetrics provided by Altmetric


Actions

    Link to this publication


Share