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. |