.getResourceArray();
ResourceModel resourceModelTemp;
for (int m = 0; m < resources.length; m++) {
resourceModelTemp = new ResourceModel(
resources[m].getName());
currentPetrinet.addResource(resourceModelTemp);
}
for (int n = 0; n < resourceMaps.length; n++) {
currentPetrinet.addResourceMapping(
resourceMaps[n].getResourceClass(),