Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD,
Dr Marta Koutny
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Tissue systems are a computational abstraction of the chemical reactions and transport of molecules in a tissue. We consider the problem of synthesising tissue systems from specifications of observed or desired behaviour given in the form of transition systems. We demonstrate how a Petri net solution to this problem, based on the notion of regions, yields a method for automated synthesis of tissue systems from transition systems. We first assume that the input of the algorithm contains information about the topology of the system to be constructed, and then discuss the case when such a topology is not known in advance and has yet to be determined.
Author(s): Kleijn J, Koutny M, Pietkiewicz-Koutny M
Publication type: Book Chapter
Publication status: Published
Book Title: Transactions on Petri Nets and Other Models of Concurrency IX
Print publication date: 12/12/2014
Online publication date: 03/12/2014
Series Title: Lecture Notes in Computer Science
Library holdings: Search Newcastle University Library for this item