Composition by Pullback  Generalizes the product allows interactions of nets by an interface (sub-net) outside the interface, interactions are still by shared labels S = V 1 £ V 2 £ V 3 = (V 1 £ V 2 ) Æ (V 2 £ V 3 )  Main property
{}