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 state transition function:
The state transition function:
Given a value of type Output returns a function
A duration, specifying the delay that the transition, after becoming enabled, may fire.
A duration, specifying the delay that the transition, after becoming enabled, may fire.
Indicates a strategy to use when dealing with exceptions.
Indicates a strategy to use when dealing with exceptions.
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 maximum duration this transition may spend doing computation / io.