Browse by author
Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD, Dr Marta Koutny
This is the final published version of a report that has been published in its final definitive form by Newcastle University, 2012.
For re-use rights please refer to the publisher's terms and conditions.
Automated synthesis from behavioural specifications is an attractive and powerful way of constructing concurrent systems. Here we focus on the problem of synthesising a membrane system from a behavioural specification given in the form of a transition system which specifies the desired state space of the system to be constructed. We demonstrate how a Petri net solution to this problem, based on the notion of region of a transition system, yields a method of automated synthesis of membrane systems from state spaces.
Author(s): Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2012
Pages: 16
Print publication date: 01/11/2012
Source Publication Date: November 2012
Report Number: 1356
Institution: Newcastle University
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1356.pdf
