@inproceedings{8ddeffcb8d0741879d4767457856b25a,
title = "Compositional synthesis of live and bounded free choice Petri nets",
abstract = "The paper defines two notions of composition of concurrent modules modelled by means of Petri nets: synchronisations and fusions. We study these two notions for the class of Free Choice nets, and characterise the compositions (within this class) that preserve liveness (absence of partial or global deadlocks) and boundedness (absence of overflows in finite stores). The characterisation shows which structures must be avoided in order to preserve the properties.",
keywords = "Boundedness, Compositional synthesis, Free choice nets, Liveness, Petri nets",
author = "Javier Esparza and Manuel Silva",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1991.; 2nd International Conference on Concurrency Theory, CONCUR 1991 ; Conference date: 26-08-1991 Through 29-08-1991",
year = "1991",
doi = "10.1007/3-540-54430-5_88",
language = "English",
isbn = "9783540544302",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "172--187",
editor = "Baeten, {Jos C.M.} and Baeten, {Jos C.M.} and Groote, {Jan Frisco}",
booktitle = "CONCUR 1991 - 2nd International Conference on Concurrency Theory, Proceedings",
}