Complete Sequence Behavior Invariance of Synchronous Composition Nets

• 同步合成网的完全顺序行为不变性