~yrke/tapaal/removeNetType

                                TimedAutomaton tokenTemplate = createTokenAutomaton(degree2Model, conservativeModel, new TimedToken(bottom));

                                tokenTemplate.setInitLocation(getLocationByName(P_CAPACITY));

                                nta.addTimedAutomaton(tokenTemplate);

                        }

                }

 

                return new Degree2BroadcastNamingScheme();

        }

 

                        TranslationNamingScheme {

                private static final int NOT_FOUND = -1;

                private final String START_OF_SEQUENCE_PATTERN = "^(\\w+)_(?:test|single|deg2)$";