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

• Complete Sequence Behavior Invariance of Synchronous Composition Nets