; total time: 0.72
; plan length: 42
(activate-trans up_station-5 up_station station-control-_-pid_3_-wcontrol state-25 state-14)
(queue-write up_station-5 station-control-_-pid_3_-wcontrol station-control-2- control)
(advance-empty-queue-tail station-control-2- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans up_station-5 down_station station-control-_-pid_3_-wcontrol state-25 state-14)
(activate-trans up_station-5 up_station down-__-pidp1__3_-wstart state-14 state-15)
(queue-write up_station-5 down-__-pidp1__3_-wstart down-0- start)
(advance-empty-queue-tail down-0- queue-1 qs-0 qs-0 start empty zero one)
(activate-trans down_station-0 down_station down-_-pid_3_-rstart state-25 state-2)
(queue-read down_station-0 down-_-pid_3_-rstart down-0- start)
(advance-queue-head down-0- queue-1 qs-0 qs-0 start one zero)
(perform-trans down_station-0 down_station down-_-pid_3_-rstart state-25 state-2)
(activate-trans down_station-0 down_station station-control-_-pid_3_-wcontrol state-2 state-3)
(activate-trans up_station-3 up_station station-control-_-pid_3_-wcontrol state-25 state-14)
(queue-write up_station-3 station-control-_-pid_3_-wcontrol station-control-0- control)
(advance-empty-queue-tail station-control-0- queue-1 qs-0 qs-0 control empty zero one)
(activate-trans down_station-1 down_station down-_-pid_3_-rstart state-25 state-2)
(perform-trans up_station-3 down_station station-control-_-pid_3_-wcontrol state-25 state-14)
(activate-trans up_station-3 up_station down-__-pidp1__3_-wstart state-14 state-15)
(queue-write up_station-3 down-__-pidp1__3_-wstart down-1- start)
(advance-empty-queue-tail down-1- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-1 down-_-pid_3_-rstart down-1- start)
(advance-queue-head down-1- queue-1 qs-0 qs-0 start one zero)
(perform-trans down_station-1 down_station down-_-pid_3_-rstart state-25 state-2)
(activate-trans down_station-1 down_station station-control-_-pid_3_-wcontrol state-2 state-3)
(activate-trans up_station-4 up_station station-control-_-pid_3_-wcontrol state-25 state-14)
(queue-write up_station-4 station-control-_-pid_3_-wcontrol station-control-1- control)
(advance-empty-queue-tail station-control-1- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans up_station-4 down_station station-control-_-pid_3_-wcontrol state-25 state-14)
(activate-trans up_station-4 up_station down-__-pidp1__3_-wstart state-14 state-15)
(queue-write up_station-4 down-__-pidp1__3_-wstart down-2- start)
(advance-empty-queue-tail down-2- queue-1 qs-0 qs-0 start empty zero one)
(activate-trans down_station-2 down_station down-_-pid_3_-rstart state-25 state-2)
(queue-read down_station-2 down-_-pid_3_-rstart down-2- start)
(advance-queue-head down-2- queue-1 qs-0 qs-0 start one zero)
(perform-trans down_station-2 down_station down-_-pid_3_-rstart state-25 state-2)
(activate-trans down_station-2 down_station station-control-_-pid_3_-wcontrol state-2 state-3)
(perform-trans up_station-3 up_station down-__-pidp1__3_-wstart state-14 state-15)
(activate-trans up_station-3 up_station up-__-pidp1__3_-rattention state-15 state-20)
(perform-trans up_station-4 up_station down-__-pidp1__3_-wstart state-14 state-15)
(activate-trans up_station-4 up_station up-__-pidp1__3_-rattention state-15 state-20)
(perform-trans up_station-5 up_station down-__-pidp1__3_-wstart state-14 state-15)
(activate-trans up_station-5 up_station up-__-pidp1__3_-rattention state-15 state-20)
