Preprint
Membrane Systems and Petri Net Synthesis
Abstract
Automated synthesis from behavioural specifications is an attractive and
powerful way of constructing concurrent systems. Here we focus on the problem
Authors
Kleijn J; Koutny M; Pietkiewicz-Koutny M; Rozenberg G
Publication date
November 17, 2012
DOI
10.48550/arxiv.1211.4090
Preprint server
arXiv