contains blocks with specific procedures that are used in the Petri net component models
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. |