; total time: 1.44
; plan length: 28
(activate-trans up_station-3 up_station station-control-_-pid_2_-wcontrol state-25 state-14)
(queue-write up_station-3 station-control-_-pid_2_-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-3 down_station station-control-_-pid_2_-wcontrol state-25 state-14)
(activate-trans up_station-3 up_station down-__-pidp1__2_-wstart state-14 state-15)
(activate-trans up_station-2 up_station station-control-_-pid_2_-wcontrol state-25 state-14)
(queue-write up_station-2 station-control-_-pid_2_-wcontrol station-control-0- control)
(advance-empty-queue-tail station-control-0- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans up_station-2 down_station station-control-_-pid_2_-wcontrol state-25 state-14)
(activate-trans up_station-2 up_station down-__-pidp1__2_-wstart state-14 state-15)
(queue-write up_station-3 down-__-pidp1__2_-wstart down-0- start)
(advance-empty-queue-tail down-0- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans up_station-3 up_station down-__-pidp1__2_-wstart state-14 state-15)
(activate-trans up_station-3 up_station up-__-pidp1__2_-rattention state-15 state-20)
(activate-trans down_station-0 down_station down-_-pid_2_-rstart state-25 state-2)
(queue-read down_station-0 down-_-pid_2_-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_2_-rstart state-25 state-2)
(activate-trans down_station-0 down_station station-control-_-pid_2_-wcontrol state-2 state-3)
(queue-write up_station-2 down-__-pidp1__2_-wstart down-1- start)
(advance-empty-queue-tail down-1- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans up_station-2 up_station down-__-pidp1__2_-wstart state-14 state-15)
(activate-trans up_station-2 up_station up-__-pidp1__2_-rattention state-15 state-20)
(activate-trans down_station-1 down_station down-_-pid_2_-rstart state-25 state-2)
(queue-read down_station-1 down-_-pid_2_-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_2_-rstart state-25 state-2)
(activate-trans down_station-1 down_station station-control-_-pid_2_-wcontrol state-2 state-3)
