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.
The maximum duration this transition may spend doing computation / io.
The maximum duration this transition may spend doing computation / io.
Indicates a strategy to use when dealing with exceptions.
Indicates a strategy to use when dealing with exceptions.
The state transition function:
The state transition function:
Given a value of type Output returns a function