modelP10Capacity
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 | full | ||
| Integer | new_num_tokens | ||
| Boolean | tokenin | ||
| PetriNets.Interfaces.SetPortIn | inTransition |