modelTwoOutOfThree
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Extensions.P11Capacity | Functional | ||
| Place11 | Nonfunctional | ||
| ModelicaAdditions.Blocks.Logical.AND | AND1 | ||
| ModelicaAdditions.Blocks.Logical.NOT | NOT1 | ||
| Modules.SingleComponent | C1 | ||
| Modules.SingleComponentAlt | C2 | ||
| Transition | restart | ||
| Transition | faillure | ||
| Modules.SingleComponentAlt1 | C3 | ||
| ModelicaAdditions.Blocks.Logical.AND | AND2 | ||
| ModelicaAdditions.Blocks.Logical.AND | AND3 | ||
| Modules.OR3 | OR3_1 | ||
| Modules.EvalBlock | EvalBlock1 |