class: $FWPART_$TOP$trd_PDB_CLASS !panel: trd_PDB.pnl state: OFF !color: FwStateOKNotPhysics when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to STBY_CONFIGURED when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwCHILDREN in_state NO_CONTROL ) move_to NO_CONTROL when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) stay_in_state when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF action: CONFIGURE !visible: 1 do CONFIGURE $ALL$FwWienerMarathonChannelTrd move_to OFF state: DOWNLOADING !color: FwStateAttention1 when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to BEAM_TUNING when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwCHILDREN in_state NO_CONTROL ) move_to NO_CONTROL when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) stay_in_state when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF state: STBY_CONFIGURED !color: FwStateOKNotPhysics when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwCHILDREN in_state NO_CONTROL ) move_to NO_CONTROL when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) stay_in_state when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF action: GO_OFF !visible: 1 do GO_OFF $ALL$FwWienerMarathonChannelTrd move_to STBY_CONFIGURED action: CONFIGURE !visible: 1 do CONFIGURE $ALL$FwWienerMarathonChannelTrd if ( $ALL$FwWienerMarathonChannelTrd not_in_state STBY_CONFIGURED ) then move_to DOWNLOADING endif move_to STBY_CONFIGURED action: GO_READY !visible: 1 do GO_ON $ALL$FwWienerMarathonChannelTrd if ( $ALL$FwWienerMarathonChannelTrd not_in_state ON ) then move_to MOVING_READY endif move_to READY action: GO_BEAM_TUN !visible: 1 do GO_ON $ALL$FwWienerMarathonChannelTrd if ( $ALL$FwWienerMarathonChannelTrd not_in_state ON ) then move_to MOVING_BEAM_TUN endif move_to BEAM_TUNING state: MOVING_BEAM_TUN !color: FwStateAttention1 when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to BEAM_TUNING when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwCHILDREN in_state NO_CONTROL ) move_to NO_CONTROL when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF state: BEAM_TUNING !color: FwStateOKNotPhysics when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwCHILDREN in_state NO_CONTROL ) move_to NO_CONTROL when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF action: CONFIGURE !visible: 1 do CONFIGURE $ALL$FwWienerMarathonChannelTrd if ( $ALL$FwWienerMarathonChannelTrd not_in_state ON ) then move_to DOWNLOADING endif move_to BEAM_TUNING action: GO_STBY_CONF !visible: 1 do GO_STBY_CONF $ALL$FwWienerMarathonChannelTrd if ( $ALL$FwWienerMarathonChannelTrd not_in_state RAMPING_DOWN ) then move_to BEAM_TUNING endif move_to MOVING_STBY_CONF action: GO_READY !visible: 1 do GO_ON $ALL$FwWienerMarathonChannelTrd if ( $ALL$FwWienerMarathonChannelTrd not_in_state RAMPING_UP ) then move_to BEAM_TUNING endif move_to MOVING_READY state: MOVING_READY !color: FwStateAttention1 when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwCHILDREN in_state NO_CONTROL ) move_to NO_CONTROL when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) stay_in_state when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF state: ERROR !color: FwStateAttention3 when ( ( $ALL$FwCHILDREN not_in_state ERROR ) and ( $ANY$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) ) move_to STBY_CONFIGURED when ( ( $ALL$FwCHILDREN not_in_state ERROR ) and ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) ) move_to DOWNLOADING when ( ( $ALL$FwCHILDREN not_in_state ERROR ) and ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) ) move_to MOVING_READY when ( $ALL$FwWienerMarathonChannelTrd in_state BEAM_TUNING ) move_to BEAM_TUNING when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( ( $ALL$FwCHILDREN not_in_state ERROR ) and ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) ) move_to MOVING_STBY_CONF when ( ( $ALL$FwCHILDREN not_in_state ERROR ) and ( $ANY$FwWienerMarathonChannelTrd in_state NO_CONTROL ) ) move_to NO_CONTROL when ( ( $ALL$FwCHILDREN not_in_state ERROR ) and ( $ANY$FwWienerMarathonChannelTrd in_state OFF ) ) move_to OFF when ( $ANY$FwCHILDREN in_state ERROR ) stay_in_state when ( $ANY$FwCHILDREN in_state NO_CONTROL ) move_to NO_CONTROL when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF action: RECOVER !visible: 1 do RECOVER $ALL$FwWienerMarathonChannelTrd move_to ERROR state: READY !color: FwStateOKPhysics when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF when ( $ANY$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwCHILDREN in_state NO_CONTROL ) move_to NO_CONTROL when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) stay_in_state when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF action: GO_STBY_CONF !visible: 1 do GO_STBY_CONF $ALL$FwWienerMarathonChannelTrd if ( $ALL$FwWienerMarathonChannelTrd not_in_state RAMPING_DOWN ) then move_to READY endif move_to MOVING_STBY_CONF action: GO_BEAM_TUN !visible: 1 do GO_ON $ALL$FwWienerMarathonChannelTrd if ( $ALL$FwWienerMarathonChannelTrd not_in_state RAMPING_UP ) then move_to READY endif move_to MOVING_BEAM_TUN state: MOVING_STBY_CONF !color: FwStateAttention1 when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwCHILDREN in_state NO_CONTROL ) move_to NO_CONTROL when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) stay_in_state state: MIXED !color: FwStateAttention1 when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwCHILDREN in_state NO_CONTROL ) move_to NO_CONTROL when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF state: NO_CONTROL !color: FwStateAttention2 when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( ( $ALL$FwWienerMarathonChannelTrd not_in_state NO_CONTROL ) and ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING) ) move_to DOWNLOADING when ( ( $ALL$FwCHILDREN not_in_state NO_CONTROL ) and ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) ) move_to MOVING_READY when ( ( $ALL$FwCHILDREN not_in_state NO_CONTROL ) and ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) ) move_to MOVING_STBY_CONF when ( ( $ALL$FwCHILDREN not_in_state NO_CONTROL ) and ( $ANY$FwWienerMarathonChannelTrd in_state OFF ) ) move_to OFF when ( ( $ALL$FwCHILDREN not_in_state NO_CONTROL ) and ( $ANY$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwCHILDREN in_state ERROR ) move_to ERROR when ( $ANY$FwCHILDREN in_state NO_CONTROL ) stay_in_state when ( $ALL$FwWienerMarathonChannelTrd in_state OFF ) move_to OFF when ( $ALL$FwWienerMarathonChannelTrd in_state STBY_CONFIGURED ) move_to STBY_CONFIGURED when ( $ALL$FwWienerMarathonChannelTrd in_state ON ) move_to READY when ( $ANY$FwWienerMarathonChannelTrd in_state DOWNLOADING ) move_to DOWNLOADING when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_UP ) move_to MOVING_READY when ( $ANY$FwWienerMarathonChannelTrd in_state RAMPING_DOWN ) move_to MOVING_STBY_CONF