# $Id:$

#
# Arrivals go to the shortest queue.
#

SPN
PLACES
  pool decide q1 q2
INIT
  pool : 4
IMMEDIATE
  choose1 : 1;
  choose2 : 1;
TIMED
  arrive : 1;
  depart1 : 2 3 /;
  depart2 : 0.75;
ARCS
  pool : arrive : 1;		arrive : decide : 1;
  decide : choose1 : 1;		choose1 : q1 : 1;
  decide : choose2 : 1; 	choose2 : q2 : 1;
  q1 : depart1 : 1;		depart1 : pool : 1;
  q2 : depart2 : 1;		depart2 : pool : 1;
GUARDS
  choose1 : q1 q2 <=;
  choose2 : q2 q1 <=;
END
STEADY
  q1length : q1;
  q1nonempty : q1 0 >;
  q2length : q2;
  q2nonempty : q2 0 >;