"According to BCMP theorem hypothesis, in a FCFS server all the per class service time mean values\nmust be the same. If the service strategies are load dependent the mean value in each range\nhas to be the same for each class.\nDo you want to edit "
+ name + " service parameters?\n\n", "Non exponential distribution in FCFS server", JOptionPane.WARNING_MESSAGE);
if (k == 0) {
AllStationsParametersPanel temp = (AllStationsParametersPanel) tabbedPane.getComponent(3);
//set the station parameter panel to show the queue section
temp.showStationParameterPanel(relatedStation, null, 1);
tabbedPane.setSelectedIndex(3);
}
}
//used only in JMVA conversion
else if ((problemType == ModelChecker.WARNING_PROBLEM) && (problemSubType == ModelChecker.BCMP_NON_STATE_INDEPENDENT_ROUTING_WARNING)) {