A visualization of an electrical machine operation model of logic controller behavior is displayed on a display such as a two-dimensional computer display. The display includes separate spaces representing separate devices in the model. For each device, several characteristics are shown in the model, including mechanical steps, electrical steps and electrical signal outputs. The electrical steps are shown superimposed on the mechanical steps, and electrical transitions link sequential electrical steps in time. Representations of conditions link the electrical transitions with signal outputs upon which the electrical transitions are conditioned.