Transition
Related Doc:
package colored
Given the in and out adjacent places with their weight returns a function:
Given the in and out adjacent places with their weight returns a function:
(Mi, S, I) => (Mo, O)
Where:
Mi is the in-adjacent marking, the tokens this transition consumes. S is the context state. I is input data
Mo is the out-adjacent marking, the tokens this transition produces. O is the emitted output
The unique identifier of this transition.
The unique identifier of this transition.
The unique identifier.
Flag indicating whether this transition is managed or manually triggered from outside.
Flag indicating whether this transition is managed or manually triggered from outside.
This should be true iff Input == Unit.
TODO how to encode this? the problem is in some contexts the Input type is unknown but this property might still be needed
Require a TypeClass?
A human readable label of this transition.
A human readable label of this transition.
The label.
The maximum duration this transition may spend doing computation / io.
The state transition function:
The state transition function:
Given a value of type Output returns a function
Indicates a strategy to use when dealing with exceptions.
A transition in a Colored Petri Net
The input type of the transition, the type of value that is required as input
The output type of the transition, the type of value that this transition 'emits' or 'produces'
The type of state the transition closes over.