The activity diagram for the control operator Enable on Brake Pressure > 0 is shown in Figure 11-12.