2012/11/17 by Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny +1
Computer Science · #cs.LO #cs.ET
paper · pdf · doi:10.4204/eptcs.100.1
published as EPTCS 100, 2012, pp. 1-13 · In Proceedings MeCBIC 2012, arXiv:1211.3476
arxiv created 2012/11/17 · arxiv updated 2012/11/20
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.