Toggle Main Menu Toggle Search

Open Access padlockePrints

Tissue systems and petri net synthesis

Lookup NU author(s): Professor Henriette Kleijn, 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.


© Springer-Verlag Berlin Heidelberg 2014.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.

Publication metadata

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

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Transactions on Petri Nets and Other Models of Concurrency IX

Year of Conference: 2013

Pages: 124-146

Online publication date: 03/12/2014

ISSN: 0302-9743

Publisher: Springer Verlag


DOI: 10.1007/978-3-662-45730-6_7

Notes: 34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013, Milan, Italy, during 24–28 June 2013), and 13th International Conference on Application of Concurrency to System Design (ACSD 2013, Barcelona, Spain, during 8–10 July 2013)

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISBN: 9783662457290