io.kagera.dsl.colored
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'
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'