Toggle Main Menu Toggle Search

ePrints

Membrane Systems and Petri Net Synthesis

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

Downloads


Abstract

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.


Publication metadata

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

Publication type: Report

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 16

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


Share