| Name | Description |
|---|---|
| activation process of continuous transitions | |
| Activation of a discrete transition | |
| Input Activation of a discrete transition | |
| Output activation of a discrete transition | |
| Is any entry of a Boolean vector true? | |
| Does any entry of a Boolean vector change its value? | |
| enabling process of input transitions (continuous places) | |
| enabling process of discrete input transitions | |
| enabling process of output transitions (continuous places) | |
| enabling process of output transitions | |
| calculates the firing sum of continuous places | |
| calculates the firing sum of discrete places | |
| Calculates the token flow for a continuous place. | |
| Calculates the token flow for a discrete place. |