package priority_rules_no_cycle2
  port type Port()

  connector type HRDV(Port p, Port q)
    export port Port r()
    define p q
  end

  connector type RDV(Port p, Port q)
    define p q
  end

  atom type MyAtomType()
    export port Port p()

    place INIT, END

    initial to INIT

    on p from INIT to END
  end

  compound type MyCompoundType()
    component MyAtomType A1()
    component MyAtomType A2()
    component MyAtomType A3()

    connector HRDV rdv1(A1.p, A2.p)
    connector RDV  rdv2(rdv1.r, A3.p)

    priority prio1 rdv2:rdv1.r,A3.p < *:*
    priority prio2 rdv2:* < *:*
    priority prio3 *:* < rdv2:rdv1.r,A3.p
    priority prio4 *:* < rdv2:*
  end
end