Lookup NU author(s): Professor Maciej Koutny,
Dr Marta Koutny
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).
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.
Author(s): Kleijn J, Koutny M, Pietkiewicz-Koutny M
Publication type: Article
Publication status: Published
Journal: Theoretical Computer Science
Print publication date: 21/11/2017
Online publication date: 10/04/2017
Acceptance date: 19/02/2017
ISSN (print): 0304-3975
Altmetrics provided by Altmetric