private void parseTransitions(MID mid, PrTPanel prtNet) throws ParseException {
ArrayList<Predicate> globalPredicates = parseGlobalPredicates(mid, prtNet);
DataLayerInterface net = prtNet.getModel();
PipeTransition[] pipeTransitions = net.getTransitions();
for (int i = 0; i < pipeTransitions.length; i++) {
PipeTransition pipeTransition = pipeTransitions[i];
if (pipeTransition.hasValidSubnetFile()
&& editor.getKernel().getSystemOptions().isNetHierarchyEnabled()) {
PrTPanel subModel = editor.findPrTPanelForFile(pipeTransition.getSubnetFileHandler());
if (subModel != null) {
// check composition rules, e.g., place names
checkForCompositionErrors(prtNet, pipeTransition, subModel);
parseTransitions(mid, subModel);
}
} else parsePipeTransition(mid, prtNet, pipeTransition, globalPredicates);
// System.out.println("Transition ID: "+pipeTransitions[i].getId()+" Name:
// "+pipeTransitions[i].getName());
}
}
