Mohamed-Lyes Benalycherif, Claude Girault. Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. In Jonathan Billington, Wolfgang Reisig, editors, Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Volume 1091 of Lecture Notes in Computer Science, pages 73-92, Springer, 1996.
@inproceedings{BenalycherifG96,
title = {Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets},
author = {Mohamed-Lyes Benalycherif and Claude Girault},
year = {1996},
tags = {rule-based, synchronization, composition, rules},
researchr = {https://researchr.org/publication/BenalycherifG96},
cites = {0},
citedby = {0},
pages = {73-92},
booktitle = {Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings},
editor = {Jonathan Billington and Wolfgang Reisig},
volume = {1091},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61363-3},
}