modelP01Capacity
Place with one input and one output transition
Parameters
| Type | Name | Default | Description |
|---|---|---|---|
| Integer | num_tokens_start | 0 | Initial number of tokens |
| Integer | N | 1 | Capacity limit for tokens |
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Integer | num_tokens | number of tokens present on the place | |
| Boolean | empty | ||
| Integer | new_num_tokens | ||
| Boolean | tokenout | ||
| Interfaces.FirePortOut | outTransition |