| Name | Description |
|---|---|
| activationCon | activation process of continuous transitions |
| activationDis | Activation of a discrete transition |
| activationDisIn | Input Activation of a discrete transition |
| activationDisOut | Output activation of a discrete transition |
| anyTrue | Is any entry of a Boolean vector true? |
| anyChange | Does any entry of a Boolean vector change its value? |
| enablingInCon | enabling process of input transitions (continuous places) |
| enablingInDis | enabling process of discrete input transitions |
| enablingOutCon | enabling process of output transitions (continuous places) |
| enablingOutDis | enabling process of output transitions |
| firingSumCon | calculates the firing sum of continuous places |
| firingSumDis | calculates the firing sum of discrete places |
| tokenFlowCon | Calculates the token flow for a continuous place. |
| tokenFlowDis | Calculates the token flow for a discrete place. |