modelPlace12
Place with one input and two output transitions
Parameters
| Type | Name | Default | Description |
|---|---|---|---|
| Boolean | initialState | false | Initial value of state |
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Boolean | state | State of place | |
| PetriNets.Interfaces.SetPortIn | inTransition | ||
| PetriNets.Interfaces.FirePortOut | outTransition1 | ||
| PetriNets.Interfaces.FirePortOut | outTransition2 |