; total time: 1.26
; plan length: 56
(activate-trans down_station-0 down_station down-_-pid_4_-rstart state-25 state-2)
(activate-trans up_station-7 up_station station-control-_-pid_4_-wcontrol state-25 state-14)
(queue-write up_station-7 station-control-_-pid_4_-wcontrol station-control-3- control)
(advance-empty-queue-tail station-control-3- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans up_station-7 down_station station-control-_-pid_4_-wcontrol state-25 state-14)
(activate-trans up_station-7 up_station down-__-pidp1__4_-wstart state-14 state-15)
(queue-write up_station-7 down-__-pidp1__4_-wstart down-0- start)
(advance-empty-queue-tail down-0- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-0 down-_-pid_4_-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_4_-rstart state-25 state-2)
(activate-trans down_station-0 down_station station-control-_-pid_4_-wcontrol state-2 state-3)
(activate-trans up_station-4 up_station station-control-_-pid_4_-wcontrol state-25 state-14)
(queue-write up_station-4 station-control-_-pid_4_-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_4_-rstart state-25 state-2)
(perform-trans up_station-4 up_station station-control-_-pid_4_-wcontrol state-25 state-14)
(activate-trans up_station-4 up_station down-__-pidp1__4_-wstart state-14 state-15)
(queue-write up_station-4 down-__-pidp1__4_-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_4_-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_4_-rstart state-25 state-2)
(activate-trans down_station-1 down_station station-control-_-pid_4_-wcontrol state-2 state-3)
(activate-trans up_station-5 up_station station-control-_-pid_4_-wcontrol state-25 state-14)
(queue-write up_station-5 station-control-_-pid_4_-wcontrol station-control-1- control)
(advance-empty-queue-tail station-control-1- queue-1 qs-0 qs-0 control empty zero one)
(activate-trans down_station-2 down_station down-_-pid_4_-rstart state-25 state-2)
(perform-trans up_station-5 up_station station-control-_-pid_4_-wcontrol state-25 state-14)
(activate-trans up_station-5 up_station down-__-pidp1__4_-wstart state-14 state-15)
(queue-write up_station-5 down-__-pidp1__4_-wstart down-2- start)
(advance-empty-queue-tail down-2- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-2 down-_-pid_4_-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_4_-rstart state-25 state-2)
(activate-trans down_station-2 down_station station-control-_-pid_4_-wcontrol state-2 state-3)
(activate-trans up_station-6 up_station station-control-_-pid_4_-wcontrol state-25 state-14)
(queue-write up_station-6 station-control-_-pid_4_-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-6 up_station station-control-_-pid_4_-wcontrol state-25 state-14)
(activate-trans up_station-6 up_station down-__-pidp1__4_-wstart state-14 state-15)
(queue-write up_station-6 down-__-pidp1__4_-wstart down-3- start)
(advance-empty-queue-tail down-3- queue-1 qs-0 qs-0 start empty zero one)
(activate-trans down_station-3 down_station down-_-pid_4_-rstart state-25 state-2)
(queue-read down_station-3 down-_-pid_4_-rstart down-3- start)
(advance-queue-head down-3- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-4 up_station down-__-pidp1__4_-wstart state-14 state-15)
(activate-trans up_station-4 up_station up-__-pidp1__4_-rattention state-15 state-20)
(perform-trans up_station-5 up_station down-__-pidp1__4_-wstart state-14 state-15)
(activate-trans up_station-5 up_station up-__-pidp1__4_-rattention state-15 state-20)
(perform-trans down_station-3 down_station down-_-pid_4_-rstart state-25 state-2)
(activate-trans down_station-3 down_station station-control-_-pid_4_-wcontrol state-2 state-3)
(perform-trans up_station-6 up_station down-__-pidp1__4_-wstart state-14 state-15)
(activate-trans up_station-6 up_station up-__-pidp1__4_-rattention state-15 state-20)
(perform-trans up_station-7 up_station down-__-pidp1__4_-wstart state-14 state-15)
(activate-trans up_station-7 up_station up-__-pidp1__4_-rattention state-15 state-20)
