package priorities_in_atom
  port type Port()

  atom type MyAtom()
    data int i
    port Port p(),q()

    place LOOP

    initial to LOOP
      do { i=0; }

    on p from LOOP to LOOP
      do { i=i+1; }

    on q from LOOP to LOOP
      do { i=i+1; }

    priority myPrioEven q < p provided ((i%2) == 0) 
    priority myPrioOdd  p < q provided ((i%2) == 1) 
  end

  compound type Model()
    component MyAtom a()
  end
end