diff --git a/src/main/jastadd/base/distribution/DistributedPN.jadd b/src/main/jastadd/base/distribution/DistributedPN.jadd index 4d4a862b049439f277e0b0f06eb0551a7d671572..51e2dbf6176c588ad22d7fd4b8bcec10020d8ff5 100644 --- a/src/main/jastadd/base/distribution/DistributedPN.jadd +++ b/src/main/jastadd/base/distribution/DistributedPN.jadd @@ -51,7 +51,7 @@ aspect PnDistribution { return ToolSpecificsParser.getChannelElemensByKey(this.getToolspecificList(), placeKey); } - syn lazy Integer PetriNet.getChannelElementLimitById(String id){ + syn lazy Integer PetriNet.getChannelElementLimitById(String placeKey){ return ToolSpecificsParser.getChannelElementLimitById(this.getToolspecificList(), placeKey); }