Membrane Systems and Petri Net Synthesis

Jetty Kleijn
Maciej Koutny
Marta Pietkiewicz-Koutny
Grzegorz Rozenberg

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.

Invited Paper in Gabriel Ciobanu: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012), Newcastle, UK, 8th September 2012, Electronic Proceedings in Theoretical Computer Science 100, pp. 1–13.
Published: 15th November 2012.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: