-
- Downloads
Merge branch 'devel'
Showing
- build.gradle 26 additions, 6 deletionsbuild.gradle
- src/main/java/de/tudresden/inf/st/pnml/splitter/Main.java 31 additions, 7 deletionssrc/main/java/de/tudresden/inf/st/pnml/splitter/Main.java
- src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/GlobalToLocalNetsPostProcessor.java 2 additions, 1 deletion...litter/postprocessing/GlobalToLocalNetsPostProcessor.java
Please register or sign in to comment