The interaction class to which the created transition belongs.
The provider of the implementation.
The name of the action for which the transition will be created.
An extra map from parameter name to parameter value to provide to the action.
Convert place names which are the same as argument names to actual parameter values.
Convert place names which are the same as argument names to actual parameter values.
Sequence of values in order of argument lists
Creates the produced marking (tokens) given the output (event) of the interaction.
The interaction class to which the created transition belongs.
The name of the action for which the transition will be created.
The provider of the implementation.
The ingredient or event output type of the interaction
An extra map from parameter name to parameter value to provide to the action.
Kagera Petri Net transition which executes an interaction.
The interaction class to which the created transition belongs.
The provider of the implementation.
The name of the action for which the transition will be created.
An extra map from parameter name to parameter value to provide to the action.