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.
Abstract is missing.