Skip to content
Snippets Groups Projects
Commit df2bdd64 authored by MARK-2\sebas's avatar MARK-2\sebas
Browse files

fixed service split keys

parent 948882ec
Branches
Tags
No related merge requests found
......@@ -123,7 +123,7 @@ public class GlobalToLocalNetsPostProcessor implements PostProcessor<PetriNet> {
refactorServiceTransitionTargets(transitionsToAdd, transitionToContainingPageMapping, transition, ist, serviceTargetCount, processedResponseTargetSubnets, PnmlConstants.TRANSITION_TYPE_SERVICE_RESPONSE_OUT, "-service-res-target-");
// source transitions
refactorServiceTransitionSources(transitionsToAdd, transitionToContainingPageMapping, transition, ist, serviceSourceCount, processedResponseSourceSubnets, PnmlConstants.TRANSITION_TYPE_SERVICE_RESPONSE_OUT, "-service-res-source-");
refactorServiceTransitionSources(transitionsToAdd, transitionToContainingPageMapping, transition, ist, serviceSourceCount, processedResponseSourceSubnets, PnmlConstants.TRANSITION_TYPE_SERVICE_RESPONSE_IN, "-service-res-source-");
transitionsToRemove.add(transition);
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment