package nested2
  port type Port()

  connector type ConnectorType(Port p, Port q, Port r, Port s, Port t, Port u)
    define (p q)' (r s)' (t u)'
    on p q r s t u provided (false)
    on p q r s provided (false)
    on p q t u provided (false)
    on r s t u provided (false)
    on p q provided (true)
    on r s provided (true)
    on t u provided (true)
  end

  atom type AtomType()
    export port Port p()

    place INIT, END

    initial to INIT

    on p from INIT to END
  end

    
  compound type MyCompoundType()
    component AtomType P(), Q(), R(), S(), T(), U()
    connector ConnectorType C(P.p, Q.p, R.p, S.p, T.p, U.p)
  end
end
