io.kagera.runtime
Provides a task for a transition.
The state type of the net.
The place type of the net.
The transition type of the net.
Given a transition returns an TransitionTask
The input type of the transition.
The output type of the transition.
The transition.
Provides a task for a transition.
The state type of the net.
The place type of the net.
The transition type of the net.