Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Mohamed-Lyes Benalycherif' in GoogleThis author has not been identified. Look up 'Claude Girault' in Google

runs on WebDSL