Loading verified model…
WHAT THIS CASE PROVES
Six motor conductors, three contactors and one mutual exclusion rule describe the complete start transition.
Step through star, transition and delta. The model rejects the impossible state where star and delta contactors close together.
THE MODEL RECORD
Touch the record. The drawing answers.
Components and wires are the same objects shown above. Hover, focus, or select either view.
Components
| ID | Type | Terminals | Attributes |
|---|
Wires / nets
| Wire | Connected terminals |
|---|
QUERIES FROM THIS MODEL
What this fixture can answer.
RUNNING NOW · SAME FIXTURE
Acceptance assertions
Evaluating the engine against this page’s expect record…
SOURCE